1402 search results - page 203 / 281 » A Practical Agent Programming Language |
141
Voted
DAGSTUHL
1996
15 years 4 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
158
click to vote
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
122
Voted
ATAL
1997
Springer
15 years 6 months ago
1997
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
103
Voted
IFIP
2000
Springer
15 years 6 months ago
2000
Springer
The academic field of information systems has developed because organizations use a specialized body of knowledge about information and communications systems. Teaching and resear...
141
Voted
JMLR
2012
13 years 5 months ago
2012
Variable selection is an important and practical problem that arises in analysis of many high-dimensional datasets. Convex optimization procedures that arise from relaxing the NP-...