Sciweavers

19979 search results - page 209 / 3996
» Decision support systems
Sort
View
CORR
2008
Springer
154views Education» more  CORR 2008»
15 years 7 months ago
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
Rohit Chadha, Mahesh Viswanathan
ISCAS
2005
IEEE
166views Hardware» more  ISCAS 2005»
16 years 22 days ago
Extending SystemC to support mixed discrete-continuous system modeling and simulation
—Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and ...
Alain Vachoux, Christoph Grimm, Karsten Einwich
ANLP
2000
115views more  ANLP 2000»
15 years 8 months ago
Categorizing Unknown Words: Using Decision Trees to Identify Names and Misspellings
This paper introduces a system for categorizing unknown words. The system is based on a multicomponent architecture where each component is responsible for identifying one class o...
Janine Toole
COMCOM
2000
89views more  COMCOM 2000»
15 years 7 months ago
Operating system support for multimedia systems
Distributed multimedia applications will be an important part of tomorrow's application mix and require appropriate operating system (OS) support. Neither hard real-time solu...
Thomas Plagemann, Vera Goebel, Pål Halvorsen...
FAST
2010
15 years 9 months ago
Membrane: Operating System Support for Restartable File Systems
We introduce Membrane, a set of changes to the operating system to support restartable file systems. Membrane allows an operating system to tolerate a broad class of file system f...
Swaminathan Sundararaman, Sriram Subramanian, Abhi...