2100 search results - page 184 / 420 » Observation Can Be as Effective as Action in Problem Solving |
184
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
156
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- We present a bus arbitration scheme for soft real-time constrained embedded systems. Some masters in such systems are required to complete their work for given timing constraints...
165
click to vote
COGSR
2011
15 years 1 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
164
click to vote
SIGCPR
1999
ACM
15 years 10 months ago
1999
ACM
This report offers an interrogative-based approach to differentiating and quantifying information and knowledge within text. We examine the work of Popper, Shannon, Weaver, Brooke...
133
click to vote
IEEEPACT
2007
IEEE
16 years 25 days ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...