2226 search results - page 146 / 446 » Pdk: The System and Its Language |
202
click to vote
IGPL
2011
14 years 9 months ago
2011
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
186
click to vote
AAAI
2012
13 years 8 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...
150
click to vote
QSIC
2007
IEEE
16 years 21 days ago
2007
IEEE
An oracle is described for dynamic validation of an application (metadata extraction from scanned documents) where a moderate failure rate is acceptable provided that instances of...
146
click to vote
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we present a real automatic meteorological information system that, not only provides friendly voice access to realtime data coming from automatic sensors, ...
173
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Context-aware computing involves the automatic tailoring of information and services based on the current location of the user. In this paper, we describe our experience ...