1460 search results - page 234 / 292 » Very Lightweight Requirements Modeling |
FASE
2010
Springer
14 years 3 days ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
CVPR
2010
IEEE
14 years 2 days ago
2010
IEEE
Depth-map merging is one typical technique category for multi-view stereo (MVS) reconstruction. To guarantee accuracy, existing algorithms usually require either sub-pixel level s...
DESRIST
2009
Springer
14 years 1 days ago
2009
Springer
As a result of the rigor vs. relevance debate, researchers who focus on design research on organizational problems are beginning to focus on their research methodology’s rigor. ...
INFOSCALE
2007
ACM
13 years 10 months ago
2007
ACM
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
IJCAI
2007
13 years 10 months ago
2007
Classic direct mechanisms require full type (or utility) revelation from participating agents, something that can be very difficult in practical multi-attribute settings. In this...