1486 search results - page 290 / 298 » Mathematical Fuzzy Logics |
119
click to vote
DRUMS
1998
Springer
15 years 4 months ago
1998
Springer
Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been speci cally engineered for them. These environm...
140
click to vote
ICSE
2007
IEEE-ACM
15 years 5 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
124
click to vote
WWW
2008
ACM
16 years 12 days ago
2008
ACM
Inferring an appropriate DTD or XML Schema Definition (XSD) for a given collection of XML documents essentially reduces to learning deterministic regular expressions from sets of ...
199
click to vote
POPL
2007
ACM
16 years 1 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
228
click to vote
POPL
2006
ACM
16 years 1 days ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...