7213 search results - page 206 / 1443 » Automated model grouping |
102
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
We present a method for designing operational amplifiers using reversed geometric programming, which is an extension of geometric programming that allows both convex and non-conve...
147
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
125
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
120
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
Assigning bug reports to individual developers is typically a manual, time-consuming, and tedious task. In this paper, we present a framework for automated assignment of bug-fixi...
119
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Service-Oriented Architecture (SOA) can provide a paradigm
for constructing context-aware collaboration systems. Particularly, the
promise of inexpensive context-aware collaborat...