1581 search results - page 167 / 317 » Domain semantics of possibility computations |
127
Voted
ISVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper investigates the performance and power dissipation of Globally Asynchronous Locally Synchronous (GALS) multi-processor systems. We show that communication loops are a s...
135
click to vote
FIW
2007
15 years 5 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
172
click to vote
NAR
2011
14 years 6 months ago
2011
PCDB (http://www.pcdb.unq.edu.ar) is a database of protein conformational diversity. For each protein, the database contains the redundant compilation of all the corresponding cry...
123
click to vote
ENTCS
2007
15 years 3 months ago
2007
In this paper we propose applying the ideas of declarative debugging to the object-oriented language Java as an alternative to traditional trace debuggers used in imperative langu...
159
click to vote
COMMA
2010
14 years 11 months ago
2010
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...