4573 search results - page 856 / 915 » Automated Reasoning |
SIGCSE
2006
ACM
15 years 5 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
ICDM
2005
IEEE
15 years 5 months ago
2005
IEEE
It is estimated that ninety percent of the world’s species have yet to be discovered and described. The main reason for the slow pace of new species description is that the scie...
103
click to vote
ICN
2005
Springer
15 years 5 months ago
2005
Springer
Wireless sensor networks are ad hoc networks comprised mainly of small sensor nodes with limited resources, and are rapidly emerging as a technology for large-scale, lowcost, autom...
ISMIR
2005
Springer
15 years 5 months ago
2005
Springer
Although analogue phonograph recordings (LPs) have long shelf lives, there are many reasons for initiating research into proper procedures for their digital preservation. In order...
111
click to vote
KIVS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...