2586 search results - page 395 / 518 » Automatic Abstraction for Congruences |
214
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Perceptual user interfaces are becoming important nowadays, because they offer a more natural interaction with the computer via speech recognition, haptics, computer visi...
191
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Motion capture is an important application in different areas such as biomechanics, computer animation, and human-computer interaction. Current motion capture methods typ...
240
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In mobile ad-hoc networks, nodes act both as terminals and information relays, and participate in a common routing protocol, such as Dynamic Source Routing (DSR). The net...
186
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. Replication has been widely used in J2EE servers for reliability and scalability. There are two properties which are important for a stateful J2EE application server. Fir...
169
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...