Sciweavers

357 search results - page 39 / 72
» A Contracting System for Hierarchical Components
Sort
View
DAC
1997
ACM
15 years 2 months ago
Structured Design of Microelectromechanical Systems
In order to efficiently design complex microelectromechanical systems (MEMS) having large numbers of multi-domain components, a hierarchically structured design approach that is ...
Tamal Mukherjee, Gary K. Fedder
NIPS
2001
14 years 11 months ago
Categorization by Learning and Combining Object Parts
We describe an algorithm for automatically learning discriminative components of objects with SVM classifiers. It is based on growing image parts by minimizing theoretical bounds ...
Bernd Heisele, Thomas Serre, Massimiliano Pontil, ...
LPNMR
2004
Springer
15 years 3 months ago
Using Criticalities as a Heuristic for Answer Set Programming
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman
SIGMOD
2003
ACM
112views Database» more  SIGMOD 2003»
15 years 10 months ago
A Theory of Redo Recovery
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...
David B. Lomet, Mark R. Tuttle
HYBRID
2010
Springer
15 years 4 months ago
A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems
One of the oldest problems in the study of dynamical systems is the calculation of an optimal control. Though the determination of a numerical solution for the general nonconvex o...
Humberto González, Ramanarayan Vasudevan, M...