2909 search results - page 442 / 582 » Consistency of the theory of contexts |
194
Voted
IMR
2004
Springer
16 years 14 days 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...
174
click to vote
IWPEC
2004
Springer
16 years 14 days 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...
202
click to vote
SCVMA
2004
Springer
16 years 13 days 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 ...
209
Voted
CODES
2003
IEEE
16 years 12 days 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...
195
click to vote
CODES
2003
IEEE
16 years 12 days 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...