5015 search results - page 769 / 1003 » Model Checking a Path |
196
click to vote
CLIMA
2006
15 years 8 months ago
2006
In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world i...
194
click to vote
DMDW
2001
15 years 8 months ago
2001
In this paper, we present SISYPHUS, a storage manager for data cubes that provides an efficient physical base for performing OLAP operations. On-Line Analytical Processing (OLAP) ...
185
click to vote
VMV
2001
15 years 7 months ago
2001
Manipulation of high-precision voxel volume at interactive speed is still not immediately possible by known algorithms on today's workstation hardware. We propose to decompos...
190
click to vote
WSCG
2004
15 years 7 months ago
2004
Determining the position and orientation of a workpiece relative to a manufacturing device is a prerequisite for machining path planning. If the workpiece is freeform and if it co...
129
click to vote
BC
2007
15 years 6 months ago
2007
We introduce a new illusion that contradicts common assumptions in the field of visual motion perception. When an unoccluded bar moves at certain speeds and oscillates at certain ...