1285 search results - page 108 / 257 » Structural Operators for Modeling 3-Manifolds |
101
Voted
VISUALIZATION
2000
IEEE
15 years 5 months ago
2000
IEEE
Visualization techniques enable scientists to interactively explore 3D data sets, segmenting and cutting them to reveal inner structure. While powerful, these techniques suffer fr...
126
Voted
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
114
click to vote
SIGSAND
2008
15 years 2 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
103
Voted
CORR
2007
Springer
15 years 20 days ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
AISS
2010
14 years 10 months ago
2010
Service orientation is one of the solutions for achieving agile enterprises, that helps make an alignment between business and information technology. By the influx of service ori...