62 search results - page 5 / 13 » A Hybrid System For Quantifier Scoping |
LACL
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. The paper proposes a type logical reformulation of Jacobson's ([9]) treatment of anaphoric dependencies in Categorial Grammar. To this end, the associative Lambek Ca...
HICSS
1999
IEEE
15 years 1 months ago
1999
IEEE
The behavior of Distributed Shared Memory Systems is dictated by the Memory Consistency Model. Several Memory Consistency Models have been proposed in the literature and they fit ...
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a novel approach to reduce spatially varying motion blur using a hybrid camera system that simultaneously captures high-resolution video at a low-frame rate together wi...
SCOPES
2004
Springer
15 years 2 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
111
click to vote
ADAEUROPE
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...