Sciweavers

3809 search results - page 467 / 762
» Associative language descriptions
Sort
View
FPL
2009
Springer
132views Hardware» more  FPL 2009»
15 years 11 months ago
Binary Synthesis with multiple memory banks targeting array references
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...
Yosi Ben-Asher, Nadav Rotem
CLEF
2006
Springer
15 years 11 months ago
Cross Lingual Question Answering Using QRISTAL for CLEF 2006
QRISTAL [9] is a question answering system making intensive use of natural language processing both for indexing documents and extracting answers. It ranked first in the EQueR eva...
Dominique Laurent, Patrick Séguéla, ...
FAABS
2004
Springer
15 years 11 months ago
Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
Jaime Ramírez, Angélica de Antonio
COORDINATION
2006
Springer
15 years 11 months ago
Formalising Business Process Execution with Bigraphs and Reactive XML
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
DNA
2006
Springer
15 years 11 months ago
Hairpin Structures Defined by DNA Trajectories
We examine scattered hairpins, which are structures formed when a single strand of nucleotides folds into a partially hybridized stem and a loop. To specify different classes of h...
Michael Domaratzki