6274 search results - page 1039 / 1255 » From query complexity to computational complexity |
134
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
156
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...
166
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we introduce a new method to recover from discrepancies in a general monitoring framework where the agent finds some explanations (points of failure) for discrepan...
168
Voted
CGI
2003
IEEE
15 years 11 months ago
2003
IEEE
High quality, virtual 3D models are quickly emerging as a new multimedia data type with applications in such diverse areas as e-commerce, online encyclopaedias, or virtual museums...
108
click to vote
ICAT
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose a real-time gesture tracking technique for the personalized user interface exploiting non-contact 3D vision technique. We first separate a user of intere...