4839 search results - page 671 / 968 » A survey of computational complexity results in systems and ... |
196
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
157
click to vote
ICB
2009
Springer
16 years 1 months ago
2009
Springer
We propose a scalable face matching algorithm capable of dealing with faces subject to several concurrent and uncontrolled factors, such as variations in pose, expression, illumina...
187
click to vote
TRIDENTCOM
2006
IEEE
16 years 24 days ago
2006
IEEE
—Wireless networks in combination with image sensors open up a multitude of previously unthinkable sensing applications. Capable tools and testbeds for these wireless image senso...
188
Voted
ISMAR
2005
IEEE
16 years 12 days ago
2005
IEEE
Paper-based cartographic maps provide highly detailed information visualisation with unrivalled fidelity and information density. Moreover, the physical properties of paper affor...
185
click to vote
RTSS
2005
IEEE
16 years 11 days ago
2005
IEEE
The intricacy of real-time data service management increases mainly due to the emergence of applications operating in open and unpredictable environments, increases in software co...