Sciweavers

3600 search results - page 253 / 720
» The settling-time reducibility ordering
Sort
View
DEXAW
2005
IEEE
197views Database» more  DEXAW 2005»
16 years 6 days ago
Enhanced Business Intelligence - Supporting Business Processes with Real-Time Business Analytics
In the 21st century, organizations are experiencing environmental changes characterized by indistinct organizational boundaries and fast-paced change. As a result firms need appro...
Andreas Seufert, Josef Schiefer
DSN
2005
IEEE
16 years 6 days ago
A Framework for Node-Level Fault Tolerance in Distributed Real-Time Systems
This paper describes a framework for achieving node-level fault tolerance (NLFT) in distributed realtime systems. The objective of NLFT is to mask errors at the node level in orde...
Joakim Aidemark, Peter Folkesson, Johan Karlsson
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 6 days ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...
ICDAR
2005
IEEE
16 years 6 days ago
Data categorization for a context return applied to logical document structure recognition
The purpose of this work is to develop a pattern recognition system simulating the human vision. A transparent neural network, with context returns is used. The context returns co...
Yves Rangoni, Abdel Belaïd
161
Voted
ICRA
2005
IEEE
88views Robotics» more  ICRA 2005»
16 years 6 days ago
Loop Closing in Topological Maps
— In order to create consistent maps of unknown environments, a robot must be able to recognize when it has returned to a previously visited place. In this paper, we introduce an...
Kristopher R. Beevers, Wesley H. Huang