Sciweavers

4066 search results - page 140 / 814
» Almost Complete Sets
Sort
View
RSA
2002
87views more  RSA 2002»
15 years 6 months ago
Inexpensive d-dimensional matchings
: Suppose that independent U 0 1 weights are assigned to the d 2 n2 edges of the complete d-partite graph with n vertices in each of the d = maximal independent sets. Then the expe...
Bae-Shi Huang, Ljubomir Perkovic, Eric Schmutz
209
Voted
COMPSAC
2006
IEEE
16 years 1 months ago
Model-Driven Agile Development of Reactive Multi-Agent Systems
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
James Kirby Jr.
157
Voted
AUTOMATICA
2002
130views more  AUTOMATICA 2002»
15 years 6 months ago
Controllability and reachability criteria for switched linear systems
This paper investigates the controllability and reachability of switched linear control systems. It is proven that both the controllable and reachable sets are subspaces of the to...
Zhendong Sun, Shuzhi Sam Ge, Tong Heng Lee
163
Voted
ISPASS
2006
IEEE
16 years 1 months ago
Comparing simulation techniques for microarchitecture-aware floorplanning
— Due to the long simulation times of the reference input sets, microarchitects resort to alternative techniques to speed up cycle-accurate simulations. However, the reduction in...
Vidyasagar Nookala, Ying Chen, David J. Lilja, Sac...
158
Voted
ESA
1999
Springer
82views Algorithms» more  ESA 1999»
15 years 11 months ago
Quartet Cleaning: Improved Algorithms and Simulations
A critical step in all quartet methods for constructing evolutionary trees is the inference of the topology for each set of four sequences (i.e. quartet). It is a well–known fact...
Vincent Berry, Tao Jiang, Paul E. Kearney, Ming Li...