2196 search results - page 159 / 440 » Practical Reasoning Using Values |
117
Voted
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a reasoning system for inferring dimension information in spreadsheets. This system can be used to check the consistency of spreadsheet formulas and can be employed to ...
82
Voted
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
Agile processes rely on feedback and communication to work and they often work best with co-located teams for this reason. Sometimes agile makes sense because of project requireme...
132
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
109
Voted
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
In this paper the Recursive Path Ordering is adapted for proving termination of rewriting incrementally. The new ordering, called Recursive Path Ordering with Modules, has as ingre...