Sciweavers

5096 search results - page 600 / 1020
» Associations as a Language Construct
Sort
View
ENTCS
2008
140views more  ENTCS 2008»
15 years 7 months ago
Functions and Lazy Evaluation in Prolog
There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded...
Juan Rodríguez-Hortalá, Jaime S&aacu...
135
Voted
BSL
2007
51views more  BSL 2007»
15 years 6 months ago
Relating First-order Set Theories and Elementary Toposes
We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our ...
Steven Awodey, Carsten Butz, Alex Simpson, Thomas ...
164
Voted
JCP
2008
121views more  JCP 2008»
15 years 6 months ago
Algorithms for Identifying the Multiple Syntactic Categories and Meanings of the Word Over
The word over, among others, is associated with a great variety of syntactic categories and meanings. Although over has received attention from scholars in different frameworks for...
Yukiko Sasaki Alam
548
Voted
JUCS
2008
274views more  JUCS 2008»
15 years 6 months ago
The State of HCI in Ibero-American Countries
: Human-Computer Interaction (HCI) is a challenging discipline that is currently concerned with the design, implementation and evaluation of interactive systems for human use, as w...
Toni Granollers, César A. Collazos, Mar&iac...
181
Voted
SIGIR
2008
ACM
15 years 6 months ago
Geometric and quantum methods for information retrieval
This paper reviews the recent developments in applying geometric and quantum mechanics methods for information retrieval and natural language processing. It discusses the interest...
Yaoyong Li, Hamish Cunningham