887 search results - page 49 / 178 » A Science of Reasoning |
RTA
1995
Springer
14 years 13 days ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
IJCAI
2003
13 years 10 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
GIS
2008
ACM
14 years 10 months ago
2008
ACM
With the advent of the data grid came a novel distributed scientific computing paradigm known as service-oriented science. Among the plethora of systems included under this framew...
STACS
2010
Springer
14 years 3 months ago
2010
Springer
Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree of overlap without being in conflict. This subclass of perfect graphs has bee...
CSE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Identifiers are an essential component of online communication. My research focuses on the ways that social, technical and policy factors affect people’s behavior with online...