10890 search results - page 154 / 2178 » Automatic Complexity Analysis |
152
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
Checking if microprocessor cores are fully functional at the end of the productive process has become a major issue. Traditional functional approaches are not sufficient when cons...
166
click to vote
ISVC
2005
Springer
15 years 12 months ago
2005
Springer
The Ambient Intelligence (AmI) paradigm requires a robust interpretation of people actions and behaviour and a way for automatically generating persistent spatial-temporal models o...
202
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
190
click to vote
WINET
2010
15 years 4 months ago
2010
In this paper, we study the performance of the cumulative Automatic Repeat reQuest (ARQ) in IEEE 802.16 networks. An analytical model is developed to investigate some important per...
168
click to vote
PR
2002
15 years 6 months ago
2002
This paper presents an e cient automatic face recognition scheme useful for video indexing applications. In particular7 the following problem is addressed: given a set of known fa...