Sciweavers

2292 search results - page 59 / 459
» Techniques and tools for dynamic optimization
Sort
View
NA
2010
82views more  NA 2010»
13 years 6 months ago
Semi-definite programming techniques for structured quadratic inverse eigenvalue problems
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...
Matthew M. Lin, Bo Dong, Moody T. Chu
ICPR
2006
IEEE
14 years 9 months ago
Activity Recognition from Silhouettes using Linear Systems and Model (In)validation Techniques
In this work we propose a model (in)validation approach to gait recognition, using a system that tries to discriminate specific activities of people. The recognition process depar...
Roberto Lublinerman, Necmiye Ozay, Dimitrios Zarpa...
TSE
2010
161views more  TSE 2010»
13 years 6 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
GLVLSI
2009
IEEE
142views VLSI» more  GLVLSI 2009»
13 years 12 months ago
Design tools for emerging technologies
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...
Jacob White
IOR
2008
105views more  IOR 2008»
13 years 8 months ago
The Stochastic Knapsack Revisited: Switch-Over Policies and Dynamic Pricing
The stochastic knapsack has been used as a model in wide ranging applications from dynamic resource allocation to admission control in telecommunication. In recent years, a variat...
Grace Y. Lin, Yingdong Lu, David D. Yao