2858 search results - page 320 / 572 » Logics with Aggregate Operators |
150
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
154
click to vote
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
138
click to vote
MOBIDE
1999
ACM
15 years 11 months ago
1999
ACM
In this article we introduce a new conception of three-dimensional DataSpace, which is physical space enhanced by connectivity to the network. DataSpace is addressed geographicall...
163
click to vote
WMCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes an approach for enabling remote database access from heterogeneous thin clients. DataX is a proxy-based architecture that supports disconnected operation by r...
140
click to vote
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
We describe a new synthesis procedure for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental m...