Sciweavers

2610 search results - page 429 / 522
» The Recognition Strategy Language
Sort
View
JAIR
2008
103views more  JAIR 2008»
13 years 10 months ago
ICE: An Expressive Iterative Combinatorial Exchange
We present the design and analysis of the first fully expressive, iterative combinatorial exchange (ICE). The exchange incorporates a tree-based bidding language (TBBL) that is co...
Benjamin Lubin, Adam I. Juda, Ruggiero Cavallo, S&...
LISP
2008
105views more  LISP 2008»
13 years 10 months ago
Proving operational termination of membership equational programs
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
Francisco Durán, Salvador Lucas, Claude Mar...
IR
2000
13 years 9 months ago
End-User Searching Challenges Indexing Practices in the Digital Newspaper Photo Archive
: Previous research in conceptual indexing methods of images has furnished us with refined theoretical frameworks characterising various aspects of images that could and should be ...
Marjo Markkula, Eero Sormunen
INLG
2010
Springer
13 years 8 months ago
Situated Reference in a Hybrid Human-Robot Interaction System
We present the situated reference generation module of a hybrid human-robot interaction system that collaborates with a human user in assembling target objects from a wooden toy c...
Manuel Giuliani, Mary Ellen Foster, Amy Isard, Col...
EMNLP
2009
13 years 7 months ago
Chinese Semantic Role Labeling with Shallow Parsing
Most existing systems for Chinese Semantic Role Labeling (SRL) make use of full syntactic parses. In this paper, we evaluate SRL methods that take partial parses as inputs. We fir...
Weiwei Sun, Zhifang Sui, Meng Wang, Xin Wang