5855 search results - page 890 / 1171 » Test generation and minimization with |
140
click to vote
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
150
click to vote
ESA
2011
Springer
14 years 1 months ago
2011
Springer
In this work we study the problem of Bipartite Correlation Clustering (BCC), a natural bipartite counterpart of the well studied Correlation Clustering (CC) problem. Given a bipart...
147
click to vote
ICC
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Wireless Sensor Networks are proven highly successful in many areas, including military and security monitoring. In this paper, we propose a method to use the edge–bet...
139
click to vote
INFOCOM
2012
IEEE
13 years 4 months ago
2012
IEEE
—An origin-destination (OD) flow between two routers is the set of packets that pass both routers in a network. Measuring the sizes of OD flows is important to many network man...
153
click to vote
TOG
2012
13 years 4 months ago
2012
We present a technique for automatically synthesizing walking and running controllers for physically-simulated 3D humanoid characters. The sagittal hip, knee, and ankle degrees-of...