4985 search results - page 368 / 997 » Observation of String-Rewriting Systems |
176
click to vote
LPNMR
2007
Springer
16 years 12 days ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
183
click to vote
ICARCV
2006
IEEE
16 years 9 days ago
2006
IEEE
: Relevance feedback in Content Based Image Retrieval(CBIR) has been an active field of research for quite some time now. Many schemes and techniques of relevance feedback exist w...
148
click to vote
FDL
2005
IEEE
15 years 12 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
130
Voted
IAT
2005
IEEE
15 years 12 months ago
2005
IEEE
Being able to trust in a system behavior is of prime importance, particularly within the context of critical applications as embedded or real-time systems. We want to ensure that ...
194
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...