Sciweavers

1329 search results - page 105 / 266
» The Many Dimensions of the Software Process
Sort
View
IJCNN
2006
IEEE
14 years 3 months ago
Model Selection via Bilevel Optimization
— A key step in many statistical learning methods used in machine learning involves solving a convex optimization problem containing one or more hyper-parameters that must be sel...
Kristin P. Bennett, Jing Hu, Xiaoyun Ji, Gautam Ku...
IROS
2006
IEEE
581views Robotics» more  IROS 2006»
14 years 3 months ago
A 3D Fax Machine based on Claytronics
Abstract— This paper presents a novel application of modular robotic technology. Many researchers expect manufacturing technology will allow robot modules to be built at smaller ...
Padmanabhan Pillai, Jason Campbell, Gautam Kedia, ...
FSTTCS
2004
Springer
14 years 2 months ago
Hardness Hypotheses, Derandomization, and Circuit Complexity
We consider hypotheses about nondeterministic computation that have been studied in different contexts and shown to have interesting consequences: • The measure hypothesis: NP d...
John M. Hitchcock, Aduri Pavan
IWMM
2000
Springer
84views Hardware» more  IWMM 2000»
14 years 21 days ago
Designing a Trace Format for Heap Allocation Events
Dynamic storage allocation continues to play an important role in the performance and correctness of systems ranging from user productivity software to high-performance servers. W...
Trishul M. Chilimbi, Richard E. Jones, Benjamin G....
FM
1991
Springer
164views Formal Methods» more  FM 1991»
14 years 20 days ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin