6014 search results - page 75 / 1203 » Parametric Analysis of Computer Systems |
103
Voted
AAAI
2008
15 years 4 months ago
2008
A recurring theme in AI and multiagent systems is how to select the "most desirable" elements given a binary dominance relation on a set of alternatives. Schwartz's...
133
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
SMA
2005
ACM
15 years 8 months ago
2005
ACM
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
119
click to vote
SMA
2003
ACM
15 years 7 months ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
105
Voted
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...