Sciweavers

2475 search results - page 364 / 495
» Question Answering in TREC
Sort
View
LICS
2002
IEEE
15 years 11 months ago
Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
RTAS
2002
IEEE
15 years 11 months ago
Middleware versus Native OS Support: Architectural Considerations for Supporting Multimedia Applications
In this paper, we examine two architectural alternatives— native OS support versus middleware—for supporting multimedia applications. Specifically, we examine whether extensi...
Prashant J. Shenoy, Saif Hasan, Purushottam Kulkar...
LATA
2010
Springer
15 years 11 months ago
Simplifying Regular Expressions. A Quantitative Perspective
Abstract. We consider the efficient simplification of regular expressions and suggest a quantitative comparison of heuristics for simplifying regular expressions. To this end, we...
Hermann Gruber and Stefan Gulan
SIGECOM
2010
ACM
184views ECommerce» more  SIGECOM 2010»
15 years 11 months ago
Computing pure strategy nash equilibria in compact symmetric games
We analyze the complexity of computing pure strategy Nash equilibria (PSNE) in symmetric games with a fixed number of actions. We restrict ourselves to “compact” representati...
Christopher Thomas Ryan, Albert Xin Jiang, Kevin L...
SIGMOD
2010
ACM
273views Database» more  SIGMOD 2010»
15 years 11 months ago
Google fusion tables: web-centered data management and collaboration
It has long been observed that database management systems focus on traditional business applications, and that few people use a database management system outside their workplace...
Hector Gonzalez, Alon Y. Halevy, Christian S. Jens...