Sciweavers

698 search results - page 85 / 140
» Fast functional simulation using branching programs
Sort
View
ATMOS
2010
169views Optimization» more  ATMOS 2010»
14 years 11 months ago
Traffic Signal Optimization Using Cyclically Expanded Networks
Traditionally, the coordination of multiple traffic signals and the traffic assignment problem in an urban street network are considered as two separate optimization problems. How...
Ekkehard Köhler, Martin Strehler
ITICSE
2003
ACM
15 years 6 months ago
Teaching undergraduate software design in a liberal arts environment using RoboCup
Most large research universities include a software design or software development course as a required or elective component of an undergraduate computer science major. For vario...
Timothy Huang, Frank Swenton
TCAD
2008
101views more  TCAD 2008»
15 years 1 months ago
Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
Ilya Wagner, Valeria Bertacco, Todd M. Austin
ANOR
2010
139views more  ANOR 2010»
14 years 11 months ago
Some operations research methods for analyzing protein sequences and structures
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
Piotr Lukasiak, Jacek Blazewicz, Maciej Milostan
CVPR
2011
IEEE
14 years 11 months ago
Globally-Optimal Greedy Algorithms for Tracking a Variable Number of Objects
We analyze the computational problem of multi-object tracking in video sequences. We formulate the problem using a cost function that requires estimating the number of tracks, as ...
Hamed Pirsiavash, Deva Ramanan, Charless Fowlkes