Sciweavers

3664 search results - page 281 / 733
» Language Technology for eLearning
Sort
View
CAISE
2006
Springer
15 years 7 months ago
A Formalisation of the Soccer Substitution Rules
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
Yves Ledru
DLOG
2006
15 years 5 months ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
Haiyan Che, Jigui Sun
WSC
2000
15 years 5 months ago
A review of web based simulation: whither we wander?
This paper considers a variety of new technologies for discrete-event simulation software development. Environments and languages for web based simulation are reviewed. Web based ...
Jasna Kuljis, Ray J. Paul
134
Voted
WISE
2005
Springer
15 years 9 months ago
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
Pakornpong Pothipruk, Guido Governatori
139
Voted
WWW
2004
ACM
16 years 4 months ago
Meteor-s web service annotation framework
The World Wide Web is emerging not only as an infrastructure for data, but also for a broader variety of resources that are increasingly being made available as Web services. Rele...
Abhijit A. Patil, Swapna A. Oundhakar, Amit P. She...