6201 search results - page 1232 / 1241 » Implementation of Axiomatic Language |
111
click to vote
UMUAI
1998
14 years 11 months ago
1998
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent...
109
Voted
TCS
2002
14 years 11 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
110
Voted
VLDB
2002
ACM
14 years 11 months ago
2002
ACM
With the rapid growth of XML-document traffic on the Internet, scalable content-based dissemination of XML documents to a large, dynamic group of consumers has become an important...
84
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...
111
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
Most existing content-based filtering approaches including Rocchio, Language Models, SVM, Logistic Regression, Neural Networks, etc. learn user profiles independently without ca...