7167 search results - page 1053 / 1434 » Answer Set Programming |
143
click to vote
VLDB
1987
ACM
15 years 7 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
142
click to vote
VISSYM
2007
15 years 5 months ago
2007
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...
134
click to vote
AIPS
2007
15 years 5 months ago
2007
Due to its important practical applications, temporal planning is of great research interest in artificial intelligence. Yet most of the work in this area so far is limited in at...
127
click to vote
WSC
2008
15 years 5 months ago
2008
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
160
Voted
ACSD
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...