6201 search results - page 1232 / 1241 » Implementation of Axiomatic Language |
200
Voted
UMUAI
1998
15 years 6 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...
199
Voted
TCS
2002
15 years 6 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...
195
Voted
VLDB
2002
ACM
15 years 6 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...
167
click to vote
CORR
2010
Springer
15 years 6 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...
188
Voted
CIKM
2010
Springer
15 years 5 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...