2661 search results - page 439 / 533 » Model Checking Performability Properties |
SIGMOD
2006
ACM
14 years 10 months ago
2006
ACM
Text is ubiquitous and, not surprisingly, many important applications rely on textual data for a variety of tasks. As a notable example, information extraction applications derive...
IMAGING
2000
13 years 11 months ago
2000
Recent developments in spectral imaging are pointing toward a future where the demands on color management will require a richer infrastructure than that which is currently offere...
TASE
2011
IEEE
13 years 5 months ago
2011
IEEE
—This paper reports the design and development processes of a totally decoupled flexure-based XYZ parallel-kinematics micropositioning stage with piezoelectric actuation. The un...
MPC
2010
Springer
14 years 2 months ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
CVPR
2005
IEEE
15 years 2 days ago
2005
IEEE
Active contours or snakes have been extensively utilized in handling image segmentation and classification problems. In traditional active contour models, snake initialization is ...