Sciweavers

1063 search results - page 18 / 213
» Generalized Cores
Sort
View
ENTCS
2007
104views more  ENTCS 2007»
15 years 4 months ago
General Reversibility
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
Vincent Danos, Jean Krivine, Pawel Sobocinski
ICRA
2010
IEEE
220views Robotics» more  ICRA 2010»
15 years 1 months ago
General object tracking with a component-based target descriptor
In this paper, we present a component-based visual object tracker for mobile platforms. The core of the technique is a component-based descriptor that captures the structure and ap...
Simone Frintrop
IEEEPACT
2007
IEEE
15 years 10 months ago
A Flexible Heterogeneous Multi-Core Architecture
Multi-core processors naturally exploit thread-level parallelism (TLP). However, extracting instruction-level parallelism (ILP) from individual applications or threads is still a ...
Miquel Pericàs, Adrián Cristal, Fran...
SIGECOM
2003
ACM
125views ECommerce» more  SIGECOM 2003»
15 years 9 months ago
Complexity of determining nonemptiness of the core
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...
Vincent Conitzer, Tuomas Sandholm
PEPM
2009
ACM
15 years 8 months ago
Translation and optimization for a core calculus with exceptions
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
Cristina David, Cristian Gherghina, Wei-Ngan Chin