3646 search results - page 239 / 730 » Voice search for development |
190
click to vote
AGI
2008
15 years 8 months ago
2008
Machines significantly more intelligent than humans will require changes in our legal and economic systems in order to preserve something of our human values. An open source design...
158
Voted
TREC
2003
15 years 8 months ago
2003
Our aim of participating in this year’s High Accuracy Retrieval from Documents (HARD) track is to explore the possibility of developing an automated HARD retrieval model by leve...
161
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present EgoIR, an approach for retrieving legal information based on ontologies; this approach has been developed with Legal Ontologies to be deployed within the...
151
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
In this paper, we present our development of a document management and retrieval tool, which is named Ontalk. Our system provides a semi-automatic metadata generator and an ontolo...
156
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...