2583 search results - page 261 / 517 » On the Representation of Timed Polyhedra |
180
Voted
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
140
click to vote
SMA
1999
ACM
15 years 11 months ago
1999
ACM
Many solid modeling construction techniques produce non-manifold r-sets (solids). With each non-manifold model N we can associate a family of manifold solid models that are infini...
208
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
The ability to retrieve molecules based on structural similarity has use in many applications, from disease diagnosis and treatment to drug discovery and design. In this paper, we...
194
click to vote
TVCG
2010
15 years 5 months ago
2010
— This paper presents topology-based methods to robustly extract, analyze, and track features defined as subsets of isosurfaces. First, we demonstrate how features identified b...
248
click to vote
ECCC
2011
15 years 1 months ago
2011
Polynomial identity testing (PIT) problem is known to be challenging even for constant depth arithmetic circuits. In this work, we study the complexity of two special but natural ...