892 search results - page 138 / 179 » Strategies in sentential reasoning |
80
Voted
RE
1995
Springer
15 years 4 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
95
Voted
FLAIRS
2007
15 years 3 months ago
2007
In attempting to address real-life decision problems, where uncertainty about input data prevails, some kind of representation of imprecise information is important and several ha...
101
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
Meta-level control manages the allocation of limited resources to deliberative actions. This paper discusses efforts in adding meta-level control capabilities to a Markov Decision...
105
click to vote
CBMS
2008
IEEE
15 years 2 months ago
2008
IEEE
In the real world concepts are often not stable but change over time. A typical example of this in the biomedical context is antibiotic resistance, where pathogen sensitivity may ...
101
click to vote
CHI
2005
ACM
15 years 2 months ago
2005
ACM
The Restricted Focus Viewer (RFV) relates a small part of an otherwise blurred display to the focus of visual attention. A user controls which part of the screen is in focus by us...