1664 search results - page 99 / 333 » Towards Partial Reasoning |
TOOLS
2008
IEEE
15 years 7 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
89
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
129
click to vote
BPM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...
89
Voted
KR
2010
Springer
15 years 5 months ago
2010
Springer
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
112
click to vote
GIS
2009
ACM
15 years 4 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...