2171 search results - page 176 / 435 » A Generic Process Algebra |
112
click to vote
ESA
2006
Springer
15 years 7 months ago
2006
Springer
We design compact and responsive kinetic data structures for detecting collisions between n convex fat objects in 3-dimensional space that can have arbitrary sizes. Our main result...
120
Voted
JOLLI
2002
15 years 3 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...
148
Voted
WCRE
2008
IEEE
15 years 9 months ago
2008
IEEE
High-level software artifacts, such as requirements, domain-specific requirements, and so on, are an important source of information that is often neglected during the reverse- an...
166
Voted
SI3D
2006
ACM
15 years 9 months ago
2006
ACM
The human hand is an important interface with complex shape and movement. In virtual reality and gaming applications the use of an individualized rather than generic hand represen...
201
Voted
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
Effective Web site design is critical to the success of e-commerce. Therefore, the evaluation and enhancement of a Web site design is of great importance. In this vein, accessibil...