Sciweavers

579 search results - page 40 / 116
» Constraint Validation in Model Compilers
Sort
View
DCOSS
2006
Springer
13 years 11 months ago
Lifetime Maximization of Sensor Networks Under Connectivity and k-Coverage Constraints
In this paper, we study the fundamental limits of a wireless sensor network's lifetime under connectivity and k-coverage constraints. We consider a wireless sensor network wit...
Wei Mo, Daji Qiao, Zhengdao Wang
ICIP
2002
IEEE
14 years 9 months ago
Parametric contour tracking using unscented Kalman filter
This paper presents an efficient method to integrate various spatial-temporal constraints to regularize the contour tracking. The global shape of the contour is represented in a p...
Yunqiang Chen, Thomas S. Huang, Yong Rui
ACL
1997
13 years 9 months ago
Predicting the Semantic Orientation of Adjectives
We identify and validate from a large corpus constraints from conjunctions on the positive or negative semantic orientation of the conjoined adjectives. A log-linear regression mo...
Vasileios Hatzivassiloglou, Kathleen McKeown
ASM
2000
ASM
14 years 11 days ago
Report on a Practical Application of ASMs in Software Design
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Egon Börger, Peter Päppinghaus, Joachim ...
ECMDAFA
2010
Springer
151views Hardware» more  ECMDAFA 2010»
13 years 11 months ago
Generative Technologies for Model Animation in the TopCased Platform
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
Xavier Crégut, Benoît Combemale, Marc...