Sciweavers

354 search results - page 20 / 71
» Modeling generalized cylinders using direction map represent...
Sort
View
DASFAA
2008
IEEE
101views Database» more  DASFAA 2008»
14 years 2 months ago
Topological Relationships between Map Geometries
The importance of topological relationships between spatial objects is recognized in many disciplines. In the field of spatial databases, topological relationships have played an ...
Mark McKenney, Markus Schneider
NECO
2006
111views more  NECO 2006»
13 years 7 months ago
Dynamics and Topographic Organization of Recursive Self-Organizing Maps
Recently, there has been an outburst of interest in extending topographic maps of vectorial data to more general data structures, such as sequences or trees. However, at present, ...
Peter Tiño, Igor Farkas, Jort van Mourik
AI
2008
Springer
13 years 7 months ago
Modelling and solving temporal reasoning as propositional satisfiability
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
Duc Nghia Pham, John Thornton, Abdul Sattar
CA
2000
IEEE
14 years 19 hour ago
Space-Time and Higher Dimensional Modeling for Animation
There are limitations to the current BRep based “model then animate” paradigm when animating time-dependent (dynamic) objects. This paper describes an approach to modeling dyn...
Eric Fausett, Alexander A. Pasko, Valery Adzhiev
PASTE
2005
ACM
14 years 1 months ago
Generalizing symbolic execution to library classes
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
Sarfraz Khurshid, Yuk Lai Suen