183 search results - page 5 / 37 » Reasoning About Assumptions in Graphs of Models |
111
click to vote
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
103
click to vote
MOBIHOC
2009
ACM
16 years 6 days ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...
WWW
2008
ACM
16 years 10 days ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
114
Voted
SIMVIS
2004
15 years 1 months ago
2004
We describe a method to match 3D polygonal geometry models using their internal skeleton graphs. These graphs carry information about the overall shape of the model. In order to m...
91
Voted
FLAIRS
2003
15 years 1 months ago
2003
Geo-referenced information is used by a growing number of “spatially-aware” tools in different application areas, including tourism, marketing, environmental management, and m...