935 search results - page 94 / 187 » From Logic Programming Towards Multi-Agent Systems |
126
click to vote
VL
1995
IEEE
15 years 7 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
143
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
We present “equiveillance” as a conceptual framework for understanding the balance between surveillance and sousveillance. In addition to this conceptual framework we also pre...
173
click to vote
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
160
click to vote
CACM
1999
15 years 3 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...
125
click to vote
CTRS
1987
15 years 7 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...