2550 search results - page 40 / 510 » Difference Decision Diagrams |
109
click to vote
AAAI
2000
15 years 3 months ago
2000
This paper demonstrates qualitative spatial reasoning techniques in a real-world diagrammatic reasoning task: Course-of-Action (COA) diagrams. COA diagrams are military planning d...
175
Voted
VL
2010
IEEE
15 years 7 days ago
2010
IEEE
In co-located software development, diagramming practices, such as sketching ideas out with a pen and paper, support the creative process and allow designers to shape, analyze, an...
108
click to vote
APCCM
2009
15 years 3 months ago
2009
It is frequent in practice that different logical XML schemas representing the same reality from different viewpoints exist. There is also usually a conceptual diagram modeling th...
118
Voted
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
— We present novel exploration algorithms and a control law that enable the construction of Voronoi diagrams over unknown areas using a single autonomous vehicle equipped with ra...