2909 search results - page 442 / 582 » Consistency of the theory of contexts |
163
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
We present Mark-It, a marking user interface that reduced the time to decompose a set of CAD models exhibiting a range of decomposition problems by as much as fifty percent. Inst...
160
click to vote
IWPEC
2004
Springer
15 years 11 months ago
2004
Springer
Consider the following problem, that we call “Chordless Path through Three Vertices” or CP3V, for short: Given a simple undirected graph G = (V, E), a positive integer k, and t...
171
click to vote
SCVMA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents and investigates a set of local spacetime descriptors for representing and recognizing motion patterns in video. Following the idea of local features ...
186
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Distributed embedded systems implemented with mixed, eventtriggered and time-triggered task sets, which communicate over bus protocols consisting of both static and dynamic phases...
175
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
Hardware/Software cosimulation is the key process to shorten the design turn around time. We have proposed a novel technique, called virtual synchronization, for fast and time acc...