6016 search results - page 831 / 1204 » The semantics of graphical languages |
194
click to vote
CICLING
2006
Springer
15 years 11 months ago
2006
Springer
We present a statistical generative model for unsupervised learning of verb argument structures. The model was used to automatically induce the argument structures for the 1,500 mo...
195
click to vote
ECOOP
2006
Springer
15 years 11 months ago
2006
Springer
The evolvability of AOP systems is severely affected by the tight coupling between aspects and base code. This paper identifies the advice fragility problem, originated in the need...
235
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
217
click to vote
FSTTCS
2000
Springer
15 years 11 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
192
click to vote
PPDP
2000
Springer
15 years 11 months ago
2000
Springer
Identifying the source of space faults in functional programs is hard. The problem is compoundedas space usage can vary enormously from one implementation to another. We use a ter...