713 search results - page 64 / 143 » Reasoning with Projected Contours |
140
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
132
Voted
RR
2010
Springer
15 years 2 months ago
2010
Springer
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is requ...
109
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
148
click to vote
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
96
Voted
AGILEDC
2007
IEEE
15 years 10 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...