1188 search results - page 47 / 238 » Testing Semantics: Connecting Processes and Process Logics |
140
Voted
DALT
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
141
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Scan-based architectures, though widely used in modern designs, are expensive in power consumption. In this paper, we present a new technique that allows to design power-optimized...
116
Voted
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
149
Voted
JUCS
2010
14 years 10 months ago
2010
: Currently, the World Wide Web is mostly composed of isolated and loosely connected "data islands". Connecting them together and retrieving only the information that is ...
147
Voted
EUSFLAT
2009
15 years 1 months ago
2009
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...