1693 search results - page 200 / 339 » Pattern-Recognition: a Foundational Approach |
182
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
138
click to vote
FLAIRS
2008
15 years 7 months ago
2008
It is well-known that default reasoning and preference-based decision making both make use of preferential relations between possible worlds resp. alternatives. In this paper, we ...
146
click to vote
FLAIRS
2008
15 years 7 months ago
2008
In Artificial Intelligence, a crucial requirement is the ability to reason about actions and their effects on the environment. Traditional approaches which rely on classical logic...
136
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
140
click to vote
FPL
2008
Springer
15 years 7 months ago
2008
Springer
Reliability and process variability are serious issues for FPGAs in the future. Fortunately FPGAs have the ability to reconfigure in the field and at runtime, thus providing oppor...