Sciweavers

5269 search results - page 257 / 1054
» order 2007
Sort
View
ECIR
2007
Springer
15 years 8 months ago
Model Tree Learning for Query Term Weighting in Question Answering
Question answering systems rely on retrieval components to identify documents that contain an answer to a user’s question. The formulation of queries that are used for retrieving...
Christof Monz
ICWS
2007
IEEE
15 years 8 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
CORR
2008
Springer
172views Education» more  CORR 2008»
15 years 7 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger
CORR
2007
Springer
82views Education» more  CORR 2007»
15 years 7 months ago
Programs as polygraphs: computability and complexity
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
Guillaume Bonfante, Yves Guiraud
CORR
2007
Springer
112views Education» more  CORR 2007»
15 years 7 months ago
Precoding in Multiple-Antenna Broadcast Systems with a Probabilistic Viewpoint
—In this paper, we investigate the minimum average transmit energy that can be obtained in multiple antenna broadcast systems with channel inversion technique. The achievable gai...
Amin Mobasher, Amir K. Khandani