1894 search results - page 294 / 379 » A TLA Proof System |
140
Voted
PAMI
2007
15 years 3 months ago
2007
—We introduce a new general framework for the recognition of complex visual scenes, which is motivated by biology: We describe a hierarchical system that closely follows the orga...
142
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
113
click to vote
IJON
2010
15 years 2 months ago
2010
Originally devoted to specific applications such as biology, medicine and demography, duration models are now widely used in economy, finance or reliability. Recent works in var...
128
click to vote
RTAS
2010
IEEE
15 years 2 months ago
2010
IEEE
—This article studies the scheduling of critical embedded systems, which consist of a set of communicating periodic tasks with constrained deadlines. Currently, tasks are usually...
152
click to vote
VR
2010
IEEE
15 years 2 months ago
2010
IEEE
VirtualizeMe introduces a new design for a fully immersive TeleImmersion system for remote collaboration and virtual world interaction. This system introduces a new avatar creatio...