3073 search results - page 142 / 615 » Real World Verification |
136
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
As virtual worlds evolve, so does the visual complexity and customizability of the avatars inside the worlds. In virtual worlds such as Second Life, prospering virtual fashion ind...
136
click to vote
NETGAMES
2006
ACM
15 years 10 months ago
2006
ACM
— For better or worse, technological advancement has changed the world to the extent that at a professional level demands from the working executive required more hours either in...
143
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
124
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a system for automatic judgment of offsides in soccer games. We detect and track players in fixed multi camera images and calculate the world coordinates...
135
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
The future mobile and ubiquitous computing world will need new forms of information sharing and collaboration between people. In this paper we present iClouds, an architecture for ...