Sciweavers

1076 search results - page 142 / 216
» Feature Identification: A Novel Approach and a Case Study
Sort
View
106
Voted
ASYNC
2005
IEEE
118views Hardware» more  ASYNC 2005»
15 years 6 months ago
Modeling and Verifying Circuits Using Generalized Relative Timing
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Ste...
81
Voted
JSAC
2006
108views more  JSAC 2006»
15 years 17 days ago
Distributed Nonlinear Integer Optimization for Data-Optical Internetworking
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
Anwar Elwalid, Debasis Mitra, Qiong Wang
111
Voted
ICSE
2007
IEEE-ACM
16 years 21 days ago
Regression Test Selection for AspectJ Software
As aspect-oriented software development gains popularity, there is growing interest in using aspects to implement cross-cutting concerns in object-oriented systems. When aspect-or...
Guoqing Xu, Atanas Rountev
125
Voted
3DPVT
2006
IEEE
251views Visualization» more  3DPVT 2006»
15 years 4 months ago
Line-Based Structure from Motion for Urban Environments
We present a novel method for recovering the 3D-line structure of a scene from multiple widely separated views. Traditional optimization-based approaches to line-based structure f...
Grant Schindler, Panchapagesan Krishnamurthy, Fran...
100
Voted
CVPR
2004
IEEE
15 years 4 months ago
Motion Without Correspondence from Tomographic Projections by Bayesian Inversion Theory
In conventional tomography, the interior of an object is reconstructed from tomographic projections such as X-ray or electron microscope images. All the current reconstruction met...
Sami S. Brandt, Ville Kolehmainen