1404 search results - page 142 / 281 » Complexity of admissible rules |
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
In this paper we propose a novel approach to the perceptual interpretation of building facades that combines shape grammars, supervised classification and random walks. Procedural...
CISIS
2010
IEEE
14 years 3 months ago
2010
IEEE
—Bringing together heterogeneous computing devices and appliances gives rise to a spontaneous environment where resources exchange messages, such as a mobile phone telling the ca...
VL
2009
IEEE
14 years 3 months ago
2009
IEEE
In many domains, decision makers want to find and understand patterns of events as these patterns often give insight into the causal relationships among events. Current systems to...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
IRI
2007
IEEE
14 years 3 months ago
2007
IEEE
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....