Sciweavers

6894 search results - page 415 / 1379
» Generation Problems
Sort
View
INTERSENSE
2006
ACM
16 years 25 days ago
Issues in designing a compilation framework for macroprogrammed networked sensor systems
— There is growing interest in the networked sensing community in the technique of macroprogramming, where the end-user can design a system using a high level description without...
Animesh Pathak, Viktor K. Prasanna
CRV
2005
IEEE
225views Robotics» more  CRV 2005»
16 years 15 days ago
Distributed Multi-Robot Exploration and Mapping
— Efficient exploration of unknown environments is a fundamental problem in mobile robotics. In this paper we present an approach to distributed multi-robot mapping and explorat...
Dieter Fox
ICDM
2005
IEEE
185views Data Mining» more  ICDM 2005»
16 years 14 days ago
Semi-Supervised Mixture of Kernels via LPBoost Methods
We propose an algorithm to construct classification models with a mixture of kernels from labeled and unlabeled data. The derived classifier is a mixture of models, each based o...
Jinbo Bi, Glenn Fung, Murat Dundar, R. Bharat Rao
SEW
2005
IEEE
16 years 13 days ago
Bridging the Gap between Systems Design
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
David Garlan, William K. Reinholtz, Bradley R. Sch...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 12 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...