581 search results - page 22 / 117 » An Automata Model for Trees with Ordered Data Values |
151
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
With the rapid development of digital technology in consumer electronics, the demand to preserve raw image data for further editing or repeated compression is increasing. Traditio...
183
click to vote
FLAIRS
2006
15 years 7 months ago
2006
In real-life decision analysis, the probabilities and values of consequences are in general vague and imprecise. One way to model imprecise probabilities is to represent a probabi...
189
click to vote
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
There is an increasing interest in more accurate prediction of software maintainability in order to better manage and control software maintenance. Recently, TreeNet has been prop...
192
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
152
click to vote
AAAI
2006
15 years 7 months ago
2006
straction is a useful tool for agents interacting with environments. Good state abstractions are compact, reuseable, and easy to learn from sample data. This paper and extends two...