1912 search results - page 361 / 383 » On the evaluation of argumentation formalisms |
PLDI
2010
ACM
14 years 14 days ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
PODS
2010
ACM
14 years 14 days ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
HICSS
2002
IEEE
14 years 11 days ago
2002
IEEE
Traditional Web-based educational systems still have several shortcomings when comparing with a real-life classroom teaching, such as lack of contextual and adaptive support, lack...
MPC
2010
Springer
14 years 5 days ago
2010
Springer
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
IBPRIA
2009
Springer
14 years 16 hour ago
2009
Springer
ent abstract presents OASIS, an Online Algorithm for Scalable Image Similarity learning that learns a bilinear similarity measure over sparse representations. OASIS is an online du...