Sciweavers

8446 search results - page 1053 / 1690
» A Process Compensation Language
Sort
View
FORTE
2004
15 years 8 months ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
IJIT
2004
15 years 8 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei
IWPT
2001
15 years 8 months ago
Parsing the CHILDES Database: Methodology and Lessons Learned
This paper discusses the process of parsing adult utterances directed to a child, in an effort to produce a syntactically annotated corpus of the verbal input to a human language ...
Kenji Sagae, Alon Lavie, Brian MacWhinney
SDM
2003
SIAM
148views Data Mining» more  SDM 2003»
15 years 8 months ago
ATLaS: A Native Extension of SQL for Data Mining
A lack of power and extensibility in their query languages has seriously limited the generality of DBMSs and hampered their ability to support data mining applications. Thus, ther...
Haixun Wang, Carlo Zaniolo
198
Voted
AAAI
1998
15 years 8 months ago
TRIPS: An Integrated Intelligent Problem-Solving Assistant
We discuss what constitutes an integrated system in AI, and why AI researchers should be interested in building and studying them. Taking integrated systems to be ones that integr...
George Ferguson, James F. Allen
« Prev « First page 1053 / 1690 Last » Next »