2583 search results - page 203 / 517 » On the Representation of Timed Polyhedra |
169
click to vote
NIPS
1997
15 years 7 months ago
1997
Most computational engineering based loosely on biology uses continuous variables to represent neural activity. Yet most neurons communicate with action potentials. The engineerin...
309
click to vote
GIS
2005
ACM
16 years 7 months ago
2005
ACM
An interesting issue in moving objects databases is to find similar trajectories of moving objects. Previous work on this topic focuses on movement patterns (trajectories with tim...
155
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
173
click to vote
WACV
2005
IEEE
16 years 2 months ago
2005
IEEE
To facilitate accurate and efficient detection of motion
patterns in video data, it is desirable to abstract from pixel
intensity values to representations that explicitly and co...
186
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...