4850 search results - page 830 / 970 » Proof and Computation in Geometry |
151
click to vote
SMI
2005
IEEE
16 years 2 days ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
155
click to vote
APN
2005
Springer
16 years 1 days ago
2005
Springer
STGs give a formalism for the description of asynchronous circuits based on Petri nets. To overcome the state explosion problem one may encounter during circuit synthesis, a nondet...
146
click to vote
HIP
2005
Springer
16 years 12 hour ago
2005
Springer
Web-based services designed for human users are being abused by computer programs (bots). This real-world issue has recently generated a new research area called Human Interactive...
161
click to vote
ICALP
2005
Springer
16 years 11 hour ago
2005
Springer
This paper presents several advances in the understanding of dynamic data structures in the bit-probe model: – We improve the lower bound record for dynamic language membership p...
177
click to vote
WIA
2005
Springer
15 years 12 months ago
2005
Springer
We consider the use of state elimination to construct shorter regular expressions from finite-state automata. Although state elimination is an intuitive method for computing regul...