5550 search results - page 365 / 1110 » Different Approaches to Proof Systems |
164
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
An approach to recover/discover traceability links between software artifacts via the examination of a software system’s version history is presented. A heuristic-based approach...
144
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Networked constellations are often formed to provide commercial IT services by leveraging the Internet technology. The provision of IT services should remain scalable, meaning tha...
178
click to vote
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we describe an approach to a musical framework with interactions among numerous physical autonomous devices. The devices behave as metaphors of life and self-organiz...
193
click to vote
RSEISP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Approximate reasoning is used in a variety of reasoning tasks in Logicbased Artificial Intelligence. In this abstract we compare a number of such reasoning schemes and s...
156
click to vote
ITS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper, we present an approach for supporting spatial awareness in an intelligent tutoring system, the purpose of which is to train astronauts to operating tasks o...