4037 search results - page 357 / 808 » Routing without ordering |
116
Voted
CADE
1998
Springer
15 years 7 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
198
Voted
CIVR
2007
Springer
15 years 7 months ago
2007
Springer
Semantic detection and recognition of objects and events contained in a video stream has to be performed in order to provide content-based annotation and retrieval of videos. This...
183
click to vote
TVLSI
2010
14 years 10 months ago
2010
Microprocessor designers have been torn between tight constraints on the amount of on-chip cache memory and the high latency of off-chip memory, such as dynamic random access memor...
144
Voted
PODC
2006
ACM
15 years 9 months ago
2006
ACM
We study the problem of maintaining sketches of recent elements of a data stream. Motivated by applications involving network data, we consider streams that are asynchronous, in w...
162
click to vote
ASC
2007
15 years 3 months ago
2007
Stability is one of the most important subjects in control systems. As for the stability of nonlinear dynamical systems, Lyapunov’s direct method and linearized stability analys...