2291 search results - page 307 / 459 » Representational Reasoning and Verification |
141
click to vote
ICCV
2009
IEEE
16 years 9 months ago
2009
IEEE
High-level, or holistic, scene understanding involves
reasoning about objects, regions, and the 3D relationships
between them. This requires a representation above the
level of ...
131
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewriting sys), where O is the set of abstract origami’s and ary relation...
133
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
145
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
118
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...