6740 search results - page 165 / 1348 » Using Classification as a Programming Language |
171
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
151
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
170
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...
181
click to vote
CISIS
2008
IEEE
15 years 8 months ago
2008
IEEE
While memory-safe and type-safe languages have been available for many years, the vast majority of software is still implemented in type-unsafe languages such as C/C++. Despite ma...
176
click to vote
POS
1998
Springer
15 years 10 months ago
1998
Springer
PMOS is an incremental garbage collector designed specifically to reclaim space in a persistent object store. It is complete in that it will, after a finite number of invocations,...