Sciweavers

3628 search results - page 377 / 726
» Approaching the Physical Limits of Computing
Sort
View
ICPPW
2002
IEEE
15 years 11 months ago
OAI-P2P: A Peer-to-Peer Network for Open Archives
OAI is designed with a low-barrier technology approach, thus allowing institutions to provide content metadata with little effort. On the other hand, search capabilities are very ...
Benjamin Ahlborn, Wolfgang Nejdl, Wolf Siberski
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
150
Voted
ECAIW
2000
Springer
15 years 10 months ago
Cognition, Sociability, and Constraints
This paper focuses on the challenge of building technical agents that act flexibly in modern computing and information environments. Flexibility is approached in terms of both cogn...
Gerhard Weiß
ASPDAC
2008
ACM
135views Hardware» more  ASPDAC 2008»
15 years 8 months ago
Analog circuit simulation using range arithmetics
The impact of parameter variations in integrated analog circuits is usually analyzed by Monte Carlo methods with a high number of simulation runs. Few approaches based on interval ...
Darius Grabowski, Markus Olbrich, Erich Barke
CAIP
2005
Springer
15 years 8 months ago
Improvement of a Temporal Video Index Produced by an Object Detector
The goal of the works described in this paper is to improve results produced by an object detector operating independently on each frame of a video document in order to generate a ...
Gaël Jaffré, Philippe Joly