908 search results - page 152 / 182 » Generating maximal models using the stable model semantics |
165
click to vote
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
129
click to vote
HCI
2007
15 years 5 months ago
2007
Location-aware systems are receiving more and more interest in both academia and industry due to their promising prospective in a broad category of so-called Location-Based-Service...
108
click to vote
COLING
1996
15 years 5 months ago
1996
2 Focus theory Pulman has shown that Higher-Order Unifcation (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to case...
155
click to vote
BIB
2005
15 years 4 months ago
2005
The volume of biomedical literature is increasing at such a rate that it is becoming difficult to locate, retrieve and manage the reported information without text mining, which a...
150
click to vote
INDOCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a new elliptic curve cryptosystem with fast encryption and key generation, which is provably secure in the standard model. The scheme uses arithmetic modulo n2...