4126 search results - page 607 / 826 » Set based logic programming |
158
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
124
click to vote
ICDM
2007
IEEE
15 years 7 months ago
2007
IEEE
Data discretization is defined as a process of converting continuous data attribute values into a finite set of intervals with minimal loss of information. In this paper, we prove...
107
click to vote
ISCA
1993
IEEE
15 years 7 months ago
1993
IEEE
In this paper we introduce a classification of misses in shared-memory multiprocessors based on inter processor communication. We identify the set of essential misses, i.e., the s...
150
click to vote
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
126
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Chart...