769 search results - page 66 / 154 » Is Logic all in our Heads |
134
Voted
AI50
2006
15 years 4 months ago
2006
Abstract. This paper describes a multi-disciplinary initiative to promote collaborative research in enactive artificial cognitive systems by developing the iCub : a open-systems 53...
105
Voted
BMCBI
2005
15 years 20 days ago
2005
Background: The MEDLINE database contains over 12 million references to scientific literature, ut 3/4 of recent articles including an abstract of the publication. Retrieval of ent...
105
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
110
click to vote
RTAS
2006
IEEE
15 years 6 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...