Sciweavers

3038 search results - page 479 / 608
» Controlling Engineering Problem Solving
Sort
View
CVPR
2007
IEEE
14 years 11 months ago
Image-Based Localization Using Hybrid Feature Correspondences
Where am I and what am I seeing? This is a classical vision problem and this paper presents a solution based on efficient use of a combination of 2D and 3D features. Given a model...
Fredrik Kahl, Kalle Åström, Klas Joseph...
DAC
2002
ACM
14 years 10 months ago
Constraint-driven communication synthesis
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
Alessandro Pinto, Luca P. Carloni, Alberto L. Sang...
WWW
2008
ACM
14 years 10 months ago
Composite process oriented service discovery in preserving business and timed relation
This paper proposes an approach for solving the problem of composite process oriented service discovery with preserving business and timed relation. Key to our approach is the def...
Yu Dai, Lei Yang, Bin Zhang, Kening Gao
CHI
2009
ACM
14 years 9 months ago
From x-rays to silly putty via Uranus: serendipity and its role in web search
The act of encountering information unexpectedly has long been identified as valuable, both as a joy in itself and as part of task-focused problem solving. There has been a concer...
Jaime Teevan, Paul André, Susan T. Dumais
POPL
2003
ACM
14 years 9 months ago
Ownership types for object encapsulation
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
Chandrasekhar Boyapati, Barbara Liskov, Liuba Shri...