Sciweavers

7167 search results - page 874 / 1434
» Answer Set Programming
Sort
View
PERCOM
2007
ACM
16 years 4 months ago
MundoCore: A light-weight infrastructure for pervasive computing
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
Erwin Aitenbichler, Jussi Kangasharju, Max MühlhĆ...
ICCAD
2006
IEEE
96views Hardware» more  ICCAD 2006»
16 years 1 months ago
Loop pipelining for high-throughput stream computation using self-timed rings
We present a technique for increasing the throughput of stream processing architectures by removing the bottlenecks caused by loop structures. We implement loops as self-timed pip...
Gennette Gill, John Hansen, Montek Singh
CVPR
2010
IEEE
16 years 5 days ago
Highly Accurate Boundary Detection and Grouping
In this work we address boundary detection and boundary grouping. We first pursue a learning-based approach to boundary detection. For this (i) we leverage appearance and context...
Iasonas Kokkinos
ICSE
2009
IEEE-ACM
15 years 12 months ago
Semantics-based code search
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
Steven P. Reiss
119
Voted
VL
2009
IEEE
126views Visual Languages» more  VL 2009»
15 years 11 months ago
Visual explanations of probabilistic reasoning
Continuing our research in explanation-oriented language design, we present a domain-specific visual language for explaining probabilistic reasoning. Programs in this language, c...
Martin Erwig, Eric Walkingshaw