2303 search results - page 302 / 461 » On the logic of argumentation theory |
166
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
176
click to vote
IJCNN
2007
IEEE
16 years 25 days ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...
146
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
152
click to vote
MM
2006
ACM
16 years 14 days ago
2006
ACM
This paper tracks the development of the author’s work entitled Light Tracer, and examines the surrounding issues of user authorship and creativity within interactivity. Light T...
153
click to vote
SIGIR
2005
ACM
16 years 2 days ago
2005
ACM
We consider two of the most commonly cited measures of retrieval performance: average precision and R-precision. It is well known that average precision and R-precision are highly...