Sciweavers

3408 search results - page 156 / 682
» Logic, language, information and computation
Sort
View
ICTCS
2005
Springer
14 years 3 months ago
A Typed Semantics of Higher-Order Store and Subtyping
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
Jan Schwinghammer
SAC
2010
ACM
14 years 5 months ago
Inductive reasoning and semantic web search
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
Claudia d'Amato, Floriana Esposito, Nicola Fanizzi...
PRIMA
2007
Springer
14 years 4 months ago
An Agent Modeling Method Based on Scenario Rehearsal for Multiagent Simulation
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
Shohei Yamane, Toru Ishida
COLING
2002
13 years 10 months ago
Semantic Case Role Detection for Information Extraction
If information extraction wants to make its results more accurate, it will have to resort increasingly to a coherent implementation of natural language semantics. In this paper, w...
Rik De Busser, Roxana Angheluta, Marie-Francine Mo...
ENC
2004
IEEE
14 years 1 months ago
QA on the Web: A Preliminary Study for Spanish Language
Finding accurate information on the web has become a challenge due to the increment in the number of documents available on line. Current search engines retrieve relevant document...
Alejandro Del-Castillo-Escobedo, Manuel Montes-y-G...