Sciweavers

3726 search results - page 667 / 746
» A structured definition of the modeling process
Sort
View
CVPR
2010
IEEE
1351views Computer Vision» more  CVPR 2010»
16 years 2 months ago
Live Dense Reconstruction with a Single Moving Camera
We present a method which enables rapid and dense reconstruction of scenes browsed by a single live camera. We take point-based real-time structure from motion (SFM) as our starti...
Richard Newcombe, Andrew Davison
HICSS
2009
IEEE
123views Biometrics» more  HICSS 2009»
16 years 1 months ago
Towards Conceptual Metamodeling of IT Governance Frameworks Approach - Use - Benefits
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
Matthias Goeken, Stefanie Alter
CAV
2009
Springer
182views Hardware» more  CAV 2009»
16 years 1 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
ICSE
2009
IEEE-ACM
16 years 1 months ago
Automated testing of healthcare document transformations in the PICASSO interoperability platform
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
Massimo Pascale, Marcello Roselli, Umberto Rugani,...
CSE
2009
IEEE
16 years 1 months ago
Private Buddy Search: Enabling Private Spatial Queries in Social Networks
—With the abundance of location-aware portable devices such as cellphones and PDAs, a new emerging application is to use this pervasive computing platform to learn about the wher...
Ali Khoshgozaran, Cyrus Shahabi