Sciweavers

2029 search results - page 16 / 406
» informs 2002
Sort
View
65
Voted
ENTCS
2002
51views more  ENTCS 2002»
15 years 3 months ago
Using Secondary Structure Information for Protein Folding in CLP(FD)
Agostino Dovier, Matteo Burato, Federico Fogolari
FUIN
2002
65views more  FUIN 2002»
15 years 3 months ago
Automata-Theoretic Decision Procedures for Information Logics
Stéphane Demri, Ulrike Sattler
90
Voted
IJHPCA
2002
64views more  IJHPCA 2002»
15 years 3 months ago
Scalable Information-Driven Sensor Querying and Routing for Ad Hoc Heterogeneous Sensor Networks
Maurice Chu, Horst W. Haussecker, Feng Zhao