Sciweavers

589 search results - page 93 / 118
» Introducing Dynamic Constraints in B
Sort
View
156
Voted
SMC
2007
IEEE
224views Control Systems» more  SMC 2007»
15 years 9 months ago
Complex networks as control paradigm for complex systems
—Rooted in a deep understanding of their major properties, a control paradigm for complex systems is proposed based on latest advances in modeling the dynamics of complex network...
Stefan Grobbelaar, Mihaela Ulieru
123
Voted
EMSOFT
2006
Springer
15 years 7 months ago
Multi-level software reconfiguration for sensor networks
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...
Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy...
153
Voted
CODES
2009
IEEE
15 years 7 months ago
TotalProf: a fast and accurate retargetable source code profiler
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
Lei Gao, Jia Huang, Jianjiang Ceng, Rainer Leupers...
143
Voted
ACL
1998
15 years 4 months ago
Machine Translation with a Stochastic Grammatical Channel
We introduce a stochastic grammatical channel model for machine translation, that synthesizes several desirable characteristics of both statistical and grammatical machine transla...
Dekai Wu, Hongsing Wong
154
Voted
CVPR
2009
IEEE
16 years 10 months ago
A Similarity Measure Between Vector Sequences with Application to Handwritten Word Image Retrieval
This article proposes a novel similarity measure between vector sequences. Recently, a model-based approach was introduced to address this issue. It consists in modeling each se...
José A. Rodríguez-Serrano, Florent P...