Sciweavers

2028 search results - page 256 / 406
» Deriving Relation Keys from XML Keys
Sort
View
MEMOCODE
2010
IEEE
15 years 2 months ago
Feldspar: A domain specific language for digital signal processing algorithms
A new language, Feldspar, is presented, enabling high-level and platform-independent description of digital signal processing (DSP) algorithms. Feldspar is a pure functional langua...
Emil Axelsson, Koen Claessen, Gergely Dévai...
CDC
2010
IEEE
138views Control Systems» more  CDC 2010»
14 years 11 months ago
Design of a navigation filter by analysis of local observability
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...
Pierre-Jean Bristeau, Nicolas Petit, Laurent Praly
190
Voted
JSC
2010
100views more  JSC 2010»
14 years 11 months ago
An invariant-based approach to the verification of asynchronous parameterized networks
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
Igor V. Konnov, Vladimir A. Zakharov
AAAI
2012
13 years 7 months ago
Fine-Grained Entity Recognition
Entity Recognition (ER) is a key component of relation extraction systems and many other natural-language processing applications. Unfortunately, most ER systems are restricted to...
Xiao Ling, Daniel S. Weld
MOBIHOC
2008
ACM
16 years 4 months ago
P2P-based routing and data management using the virtual cord protocol (VCP)
We present Virtual Cord Protocol (VCP), a virtual relative position based routing protocol for sensor networks that also provides methods for data management as known from standar...
Abdalkarim Awad, Reinhard German, Falko Dressler