Sciweavers

2624 search results - page 267 / 525
» The 2LIP model and its implementations
Sort
View
122
Voted
SOSYM
2010
174views more  SOSYM 2010»
14 years 11 months ago
Automatic generation of basic behavior schemas from UML class diagrams
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
TOMS
2010
106views more  TOMS 2010»
14 years 11 months ago
Computing Tutte Polynomials
The Tutte polynomial of a graph, also known as the partition function of the q-state Potts model, is a 2-variable polynomial graph invariant of considerable importance in both comb...
Gary Haggard, David J. Pearce, Gordon Royle
109
Voted
CDC
2010
IEEE
107views Control Systems» more  CDC 2010»
14 years 7 months ago
Time-synchronization in mobile sensor networks from difference measurements
We examine distributed time-synchronization in mobile ad-hoc and sensor networks. The problem is to estimate the skews and offsets of clocks of all the nodes with respect to an arb...
Chenda Liao, Prabir Barooah
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 7 months ago
A symbolic approach to controlling piecewise affine systems
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Ce...
TCBB
2010
98views more  TCBB 2010»
14 years 7 months ago
VARUN: Discovering Extensible Motifs under Saturation Constraints
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
Alberto Apostolico, Matteo Comin, Laxmi Parida