2351 search results - page 303 / 471 » A Method of Requirement Inconsistency Analysis |
151
click to vote
IJCAI
1989
15 years 5 months ago
1989
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
170
click to vote
SIAMSC
2008
15 years 4 months ago
2008
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...
148
click to vote
TCAD
2002
15 years 4 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
124
click to vote
PVLDB
2010
15 years 3 months ago
2010
Recent improvements in positioning technology make massive moving object data widely available. One important analysis is to find the moving objects that travel together. Existin...
136
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Pitching is the starting point of an event in baseball games. Hence, locating pitching shots is a critical step in content analysis of a baseball game video. However, pitching fra...