267 search results - page 42 / 54 » Improving Collaborative Pathfinding Using Map Abstraction |
140
click to vote
POPL
1989
ACM
15 years 4 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
108
click to vote
RECOMB
2006
Springer
16 years 21 days ago
2006
Springer
Abstract. Protein motions, ranging from molecular flexibility to largescale conformational change, play an essential role in many biochemical processes. Despite the explosion in ou...
119
click to vote
NAR
2007
14 years 12 months ago
2007
The Universal Protein Resource (UniProt) provides the scientific community with a single, centralized, authoritative resource for protein sequences and functional information. For...
206
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
110
Voted
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
An approach for incremental learning of a 3D scene from a single static video camera is presented in this paper. In particular, we exploit the presence of casual people walking in...