3229 search results - page 177 / 646 » The Theory of Timed Automata |
127
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We extend the basic axiomatization of interval convex relations by Allen and Hayes with unbounded intervals. Unbounded intervals include since intervals with a finite beginning po...
171
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
176
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We present some theoretical results related to the problem
of actively searching for a target in a 3D environment,
under the constraint of a maximum search time. We define
the o...
179
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
DCE-MRI is a noninvasive functional imaging technique capable of assessing tumor microvasculature clinically. Major limitations associated with conventional region-of-interest (RO...
285
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...