15784 search results - page 919 / 3157 » Mega Software Engineering |
208
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
This presentation demonstrates the early results from the French ANR project RT-Simex. RT-Simex proposes a set of tools to analyze timing of parallel embedded code and trace the s...
247
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
207
click to vote
TASE
2010
IEEE
15 years 2 months ago
2010
IEEE
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
187
click to vote
TASE
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper studies the reconstruction of unknown curved surfaces through finger tracking. A patch can be generated from tactile data points along three concurrent surface curves un...
190
click to vote
TCIAIG
2010
15 years 2 months ago
2010
In this paper, we use computational intelligence techniques to built quantitative models of player experience for a platform game. The models accurately predict certain key affecti...