Sciweavers

1829 search results - page 315 / 366
» aims 2008
Sort
View
DAM
2008
114views more  DAM 2008»
14 years 12 months ago
Efficient solutions to the braid isotopy problem
We describe the most efficient solutions to the word problem of Artin's braid group known so far, i.e., in other words, the most efficient solutions to the braid isotopy probl...
Patrick Dehornoy
DEBU
2008
100views more  DEBU 2008»
14 years 12 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
ECCC
2008
186views more  ECCC 2008»
14 years 12 months ago
Universal Semantic Communication II: A Theory of Goal-Oriented Communication
We continue the investigation of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that su...
Brendan Juba, Madhu Sudan
ENTCS
2008
137views more  ENTCS 2008»
14 years 12 months ago
Computerizing Mathematical Text with MathLang
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
Fairouz Kamareddine, J. B. Wells
EXPERT
2008
120views more  EXPERT 2008»
14 years 12 months ago
The CKC Challenge: Exploring Tools for Collaborative Knowledge Construction
The great success of Web 2.0 is mainly fuelled by an infrastructure that allows web users to create, share, tag, and connect content and knowledge easily. The tools for developing...
Natalya Fridman Noy, Abhita Chugh, Harith Alani