7557 search results - page 368 / 1512 » Modeling Timed Concurrent Systems |
158
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
216
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a method to create an illusion of seeing moving objects through occluding surfaces in a video. This illusion is achieved by transferring information from a cam...
204
click to vote
TMM
2002
15 years 6 months ago
2002
Abstract--The Internet provides a universal platform for largescale distribution of information and supports inter-organizational services, system integration, and collaboration. U...
168
click to vote
CSL
2004
Springer
16 years 3 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
193
Voted
DSN
2005
IEEE
15 years 8 months ago
2005
IEEE
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...