Sciweavers

1291 search results - page 99 / 259
» Computing the multiplicity structure in solving polynomial s...
Sort
View
ICALP
2007
Springer
15 years 8 months ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
110
Voted
ICDCS
1998
IEEE
15 years 6 months ago
System Support for Partition-Aware Network Applications
Network applications and services need to be environment-aware in order to meet non-functional requirements in increasingly dynamic contexts. In this paper we consider partition a...
Özalp Babaoglu, Renzo Davoli, Alberto Montres...
126
Voted
CVPR
2011
IEEE
14 years 9 months ago
Learning Temporally Consistent Rigidities
We present a novel probabilistic framework for rigid tracking and segmentation of shapes observed from multiple cameras. Most existing methods have focused on solving each of thes...
Jean-Sebastien Franco, Edmond Boyer
128
Voted
CODES
2002
IEEE
15 years 6 months ago
Communication speed selection for embedded systems with networked voltage-scalable processors
High-speed serial network interfaces are gaining wide use in connecting multiple processors and peripherals in modern embedded systems, thanks to their size advantage and power ef...
Jinfeng Liu, Pai H. Chou, Nader Bagherzadeh
121
Voted
JWSR
2007
89views more  JWSR 2007»
15 years 1 months ago
Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...