527 search results - page 30 / 106 » Towards a Natural Way of Reasoning |
SIGSOFT
2005
ACM
14 years 10 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
SEMWEB
2009
Springer
14 years 4 months ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
CSMR
1998
IEEE
14 years 2 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...
CSI
2010
13 years 9 months ago
2010
Current electronic voting systems are not sufficient to satisfy trustworthy elections as they do not provide any proofs or confirming evidences of their honesty. This lack of trust...
ICIAP
2009
ACM
14 years 10 months ago
2009
ACM
In a typical video surveillance framework, a single camera or a set of cameras monitor a scene in which human activities are carried out. In this paper, we propose a complementary ...