Sciweavers

3771 search results - page 445 / 755
» Subobject Transformation Systems
Sort
View
LCTRTS
2010
Springer
15 years 2 months ago
Translating concurrent action oriented specifications to synchronous guarded actions
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
Jens Brandt, Klaus Schneider, Sandeep K. Shukla
ECIR
2009
Springer
15 years 2 months ago
Refining Keyword Queries for XML Retrieval by Combining Content and Structure
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...
Desislava Petkova, W. Bruce Croft, Yanlei Diao
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
14 years 11 months ago
Generalized multicircumcenter trajectories for optimal design under near-independence
This work deals with trajectory optimization for a network of robotic sensors sampling a spatio-temporal random field. We examine the problem of minimizing over the space of networ...
Rishi Graham, Jorge Cortés
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 11 months ago
Optimal UAV coordination for target tracking using dynamic programming
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
Steven A. P. Quintero, Francesco Papi, Daniel J. K...
INTERSPEECH
2010
14 years 11 months ago
Discriminative adaptation for log-linear acoustic models
Log-linear models have recently been used in acoustic modeling for speech recognition systems. This has been motivated by competitive results compared to systems based on Gaussian...
Jonas Lööf, Ralf Schlüter, Hermann ...