4762 search results - page 293 / 953 » About the use of protein models |
171
click to vote
NIPS
2008
15 years 8 months ago
2008
Before the age of 4 months, infants make inductive inferences about the motions of physical objects. Developmental psychologists have provided verbal accounts of the knowledge tha...
164
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
208
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Agents are intended to interact in open systems where the knowledge about others (reputation) is incomplete and uncertain. Also, this knowledge about other agents is subjective si...
168
click to vote
HICSS
2006
IEEE
16 years 21 days ago
2006
IEEE
Technological advances in the collection, storage and analysis of data have increased the ease with which businesses can make profitable use of information about individuals. Som...
177
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...