898 search results - page 115 / 180 » A Linear Tabling Mechanism |
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
Portable ballot counters using camera technology and manual paper feed are potentially more reliable and less expensive than scanner-based systems. We show that the spatial sampli...
ECMDAFA
2009
Springer
14 years 2 months ago
2009
Springer
The size and the number of models is drastically increasing, preventing organizations from fully exploiting Model Driven Engineering benefits. Regarding this problem of scalabilit...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
—People enjoy the convenience of on-line services, but online environments may bring many risks. In this paper, we discuss how to prevent users’ passwords from being stolen by ...
IROS
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper we present algorithms that enable precise trajectory control of NIMS3D, an underconstrained, three-dimensional cabled robot intended for use in actuated sensing. ...
APN
2007
Springer
14 years 2 months ago
2007
Springer
We shall describe connections between Petri nets, quantum physics and category theory. The view of Net theory as a kind of discrete physics has been consistently emphasized by Carl...