Sciweavers

11588 search results - page 21 / 2318
» Will They Like This
Sort
View
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
14 years 3 months ago
An Inevitable Collision State-Checker for a Car-Like Vehicle
Rishikesh Parthasarathi, Thierry Fraichard
LICS
2007
IEEE
14 years 3 months ago
Separating DAG-Like and Tree-Like Proof Systems
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
Phuong Nguyen
CIKM
2007
Springer
14 years 3 months ago
"More like these": growing entity classes from seeds
We present a corpus-based approach to the class expansion task. For a given set of seed entities we use co-occurrence statistics taken from a text collection to define a membersh...
Luís Sarmento, Valentin Jijkoun, Maarten de...
ECAL
2007
Springer
14 years 3 months ago
Folding Protein-Like Structures with Open L-Systems
Abstract. Proteins, under native conditions, fold to specific 3D structures according to their 1D amino acid sequence, which in turn is defined by the genetic code. The specific...
Gemma B. Danks, Susan Stepney, Leo S. D. Caves