1963 search results - page 306 / 393 » Applications of Preferences using Answer Set Programming |
137
Voted
TII
2010
14 years 9 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
144
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
119
click to vote
AAAI
1994
15 years 3 months ago
1994
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
113
Voted
FPL
2006
Springer
15 years 5 months ago
2006
Springer
This paper is concerned with the application of formal optimisation methods to the design of mixed-granularity FPGAs. In particular, we investigate the appropriate mix and floorpl...
92
Voted
IDA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper, a method to analyze GSM network performance on the basis of massive data records and application domain knowledge is presented. The available measurements ...