Sciweavers

2115 search results - page 212 / 423
» Semantic structure from motion
Sort
View
IGPL
1998
58views more  IGPL 1998»
15 years 6 months ago
Two Types of Multiple-Conclusion Systems
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...
Arnon Avron
CC
2005
Springer
195views System Software» more  CC 2005»
15 years 8 months ago
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
Luca Padovani
ACL
1998
15 years 8 months ago
Recognition of the Coherence Relation between Te-linked Clauses
This paper describes a method for recognizing coherence relations between clauses which are linked by te in Japanese -- a translational equivalent of English and. We consider that...
Akira Oishi, Yuji Matsumoto
LAI
1996
128views more  LAI 1996»
15 years 7 months ago
Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
We propose a new semantics for modeling belief, mixing conncepts from qualitative probabilistic and classical possible world accounts. Our belief structures are coherent sets of q...
Emil Weydert
LPNMR
2009
Springer
16 years 1 months ago
A Module-Based Framework for Multi-language Constraint Modeling
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
Matti Järvisalo, Emilia Oikarinen, Tomi Janhu...