Sciweavers

3829 search results - page 530 / 766
» Improving Our Reviewing Processes
Sort
View
EDCC
2006
Springer
15 years 11 months ago
Construction of a Highly Dependable Operating System
It has been well established that most operating system crashes are due to bugs in device drivers. Because drivers are normally linked into the kernel address space, a buggy drive...
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Ho...
WFLP
2000
Springer
124views Algorithms» more  WFLP 2000»
15 years 10 months ago
A Formal Approach to Reasoning about the Effectiveness of Partial Evaluation
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
Elvira Albert, Sergio Antoy, Germán Vidal
AAAI
2007
15 years 9 months ago
Scaling Up: Solving POMDPs through Value Based Clustering
Partially Observable Markov Decision Processes (POMDPs) provide an appropriately rich model for agents operating under partial knowledge of the environment. Since finding an opti...
Yan Virin, Guy Shani, Solomon Eyal Shimony, Ronen ...
ASPDAC
2008
ACM
108views Hardware» more  ASPDAC 2008»
15 years 9 months ago
A new global router for modern designs
- In this paper, we present a new global router, NTHU-Route, for modern designs. NTHU-Route is based on iterative rip-ups and reroutes, and several techniques are proposed to enhan...
Jhih-Rong Gao, Pei-Ci Wu, Ting-Chi Wang
CIKM
2008
Springer
15 years 9 months ago
An effective statistical approach to blog post opinion retrieval
Finding opinionated blog posts is still an open problem in information retrieval, as exemplified by the recent TREC blog tracks. Most of the current solutions involve the use of e...
Ben He, Craig Macdonald, Jiyin He, Iadh Ounis