Sciweavers

1648 search results - page 167 / 330
» Structuring namespace descriptions
Sort
View
LICS
2010
IEEE
15 years 2 months ago
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
The universal-algebraic approach has proved a powerful tool in the study of the computational complexity of constraint satisfaction problems (CSPs). This approach has previously b...
Manuel Bodirsky, Martin Hils, Barnaby Martin
IFIP
2010
Springer
14 years 11 months ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
ECCV
2006
Springer
16 years 6 months ago
Resolution-Enhanced Photometric Stereo
Abstract. Conventional photometric stereo has a fundamental limitation that the scale of recovered geometry is limited to the resolution of the input images. However, surfaces that...
Ping Tan, Stephen Lin, Long Quan
ICPR
2008
IEEE
16 years 5 months ago
Combine hierarchical appearance statistics for accurate palmprint recognition
Palmprint recognition is an active member of biometrics in recent years. State-of-the-art algorithms of palmprint recognition describe appearances of palmprints efficiently throug...
Tieniu Tan, Yufei Han, Zhenan Sun
CHI
2005
ACM
16 years 4 months ago
Programmatic semantics for natural language interfaces
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
Hugo Liu, Henry Lieberman