Sciweavers

3809 search results - page 468 / 762
» Associative language descriptions
Sort
View
178
Voted
FPL
2006
Springer
115views Hardware» more  FPL 2006»
15 years 11 months ago
Executing Hardware as Parallel Software for Picoblaze Networks
Multi-processor architectures have gained interest recently because of their ability to exploit programmable silicon parallelism at acceptable power-efficiency figures. Despite th...
Pengyuan Yu, Patrick Schaumont
186
Voted
ERCIMDL
2000
Springer
109views Education» more  ERCIMDL 2000»
15 years 11 months ago
CAP7: Searching and Browsing in Distributed Document Collections
Abstract. This paper describes CAP7, a system for searching and browsing in distributed document (metadata) collections. The system architecture is similar to Harvest, comprising g...
Norbert Fuhr, Kai Großjohann, Stefan Kokkeli...
SAFECOMP
2000
Springer
15 years 11 months ago
Speeding-Up Fault Injection Campaigns in VHDL Models
Abstract. Simulation-based Fault Injection in VHDL descriptions is increasingly common due to the popularity of top-down design flows exploiting this language. This paper presents ...
B. Parrotta, Maurizio Rebaudengo, Matteo Sonza Reo...
AAAI
2007
15 years 9 months ago
Partial Matchmaking using Approximate Subsumption
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
Heiner Stuckenschmidt
204
Voted
DLOG
2007
15 years 9 months ago
Modal Logic Applied to Query Answering and the Case for Variable Modalities
We present a query answering technique based on notions and results from modal Correspondence Theory. It allows us to answer a wide family of conjunctive queries by polynomial redu...
Evgeny Zolin