4341 search results - page 252 / 869 » Quantitative Model checking |
105
Voted
SIBGRAPI
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a system that is being developed for the recognition of the handwritten legal amount in Brazilian bank checks. Our strategy used to approach the handwritten leg...
109
click to vote
CORR
2007
Springer
15 years 24 days ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
94
Voted
AIEDU
2005
15 years 22 days ago
2005
To help a student in an introductory physics course do quantitative homework problems, an intelligent tutoring system must determine information of an algebraic nature. This paper...
100
click to vote
DEXAW
2006
IEEE
15 years 6 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
CP
2003
Springer
15 years 6 months ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...