Sciweavers

1163 search results - page 28 / 233
» Department of Redundancy Department
Sort
View
TREC
2000
13 years 9 months ago
A Semantic Approach to Question Answering Systems
This paper describes the architecture, operation and results obtained with the Question Answering prototype developed in the Department of Language Processing and Information Syst...
José Luis Vicedo González, Antonio F...
ANOR
2010
112views more  ANOR 2010»
13 years 7 months ago
The Multi-Story Space Assignment Problem
-- The Multi-Story Space Assignment Problem (MSAP) is an innovative formulation of the multi-story facility assignment problem that allows one to model the location of departments ...
Peter M. Hahn, J. MacGregor Smith, Yi-Rong Zhu
ENTCS
2008
101views more  ENTCS 2008»
13 years 7 months ago
Monotonic Abstraction in Parameterized Verification
c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze...
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...
SIGMOBILE
2008
73views more  SIGMOBILE 2008»
13 years 7 months ago
Alert propagation in mobile ad hoc networks
bstract: Alert Propagation in Mobile Ad Hoc Networks Wenbo He Ying Huang Klara Nahrstedt Whay C. Lee Department of Computer Science Motorola Labs 201 N. Goodwin Avenue 111 Locke Dr...
Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou ...
IJFCS
2007
98views more  IJFCS 2007»
13 years 7 months ago
Modular Ranking Abstraction
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck