Sciweavers

3104 search results - page 88 / 621
» Competence-Based EE-Learning: (How) Can We Implement It
Sort
View
ICDE
2011
IEEE
270views Database» more  ICDE 2011»
14 years 8 months ago
Real-time pattern matching with FPGAs
— We demonstrate a hardware implementation of a complex event processor, built on top of field-programmable gate arrays (FPGAs). Compared to CPU-based commodity systems, our sol...
Louis Woods, Jens Teubner, Gustavo Alonso
APLAS
2011
ACM
14 years 4 months ago
Soundness of Data Flow Analyses for Weak Memory Models
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
Jade Alglave, Daniel Kroening, John Lugton, Vincen...
ENTCS
2008
140views more  ENTCS 2008»
15 years 4 months ago
Linking Event-B and Concurrent Object-Oriented Programs
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
Andrew Edmunds, Michael Butler
JMLR
2002
102views more  JMLR 2002»
15 years 4 months ago
Efficient Algorithms for Decision Tree Cross-validation
Cross-validation is a useful and generally applicable technique often employed in machine learning, including decision tree induction. An important disadvantage of straightforward...
Hendrik Blockeel, Jan Struyf
VIS
2004
IEEE
166views Visualization» more  VIS 2004»
16 years 5 months ago
2D Maps for Visual Analysis and Retrieval in Large Multi-Feature 3D Model Databases
Multimedia objects are often described by high-dimensional feature vectors which can be used for retrieval and clustering tasks. We have built an interactive retrieval system for ...
Benjamin Bustos, Daniel A. Keim, Christian Panse, ...