2032 search results - page 218 / 407 » Encodings of the Sequence Constraint |
188
click to vote
IJCAI
2001
15 years 8 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
161
click to vote
ACL
1990
15 years 7 months ago
1990
This paper presents an implemented, psychologicallyplausible parsing model for Government Binding theory grammars. I make use of two main ideas: (1) a generalization of the licens...
197
click to vote
CIIA
2009
15 years 7 months ago
2009
Vertical partition is an important technique in database design used to enhance performance in database systems. Vertical fragmentation is a combinatorial optimization problem that...
179
click to vote
JMM2
2008
15 years 6 months ago
2008
The paper improves the reliability of audio streams in a lossy channel. The mechanism groups audio data samples into source and carrier sets. The carrier set carry the information ...
157
click to vote
JFP
2006
15 years 6 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...