6608 search results - page 1235 / 1322 » On the Completeness of Model Checking |
165
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a complete system for the purpose of automatically assembling 3D pots given 3D measurements of their fragments commonly called sherds. A Bayesian approach is formulated...
142
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
The use of 3-D ultrasound data has several advantages over 2-D ultrasound for fetal biometric measurements, such as considerable decrease in the examination time, possibility of p...
233
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
Probabilistic databases have received considerable attention recently due to the need for storing uncertain data produced by many real world applications. The widespread use of pr...
126
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Because of the growing complexity of wireless sensor network applications (WSNs), traditional software development tools are being developed that are specifically designed for the...
129
click to vote
SIGSOFT
2001
ACM
16 years 4 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...