722 search results - page 13 / 145 » A New Framework for Computer Science and Engineering |
ERSHOV
2003
Springer
15 years 2 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
CAD
2007
Springer
14 years 9 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
128
Voted
COMPSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Web services (WS) received significant attention recently because services can be searched, bound, and executed at runtime over the Internet. This paper proposes a dynamic reconfi...
103
click to vote
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
EDBT
2012
ACM
13 years 1 days ago
2012
ACM
Most recommendation methods (e.g., collaborative filtering) consist of (1) a computationally intense offline phase that computes a recommender model based on users’ opinions o...