2196 search results - page 118 / 440 » Practical Reasoning Using Values |
114
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
SAT (Boolean satisfiability) has become the primary Boolean reasoning engine for many EDA applications, so the efficiency of SAT solving is of great practical importance. Recently...
117
Voted
IJISMD
2010
14 years 11 months ago
2010
The value of business process models is dependent not only on the choice of graphical elements in the model, but also on their annotation with additional textual and graphical inf...
120
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
106
click to vote
EUROPAR
2001
Springer
15 years 7 months ago
2001
Springer
We consider a networking subsystem for message–passing clusters that uses two unidirectional queues for data transfers between the network interface card (NIC) and the lower prot...
115
click to vote
IJCAI
1989
15 years 3 months ago
1989
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...