1585 search results - page 122 / 317 » A framework for computer-aided validation |
149
click to vote
ACMACE
2004
ACM
15 years 8 months ago
2004
ACM
We propose a framework model to facilitate the prototyping and refinement of Massively Multi-player Online Games (MMOG), when included in the appropriate development environment....
130
Voted
IBERAMIA
2004
Springer
15 years 8 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
120
Voted
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, G...
125
click to vote
CVPR
2003
IEEE
15 years 8 months ago
2003
IEEE
Pedal curves are the loci of the feet of perpendiculars to the tangents of a fixed curve to a fixed point called the pedal point. By varying the location of the pedal point, def...
137
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
- A new motion planning framework is presented that enables multiple mobile robots with limited ranges of sensing and communication to maneuver and achieve goals safely in dynamic ...