7139 search results - page 1419 / 1428 » Language Engineering in Practice |
103
click to vote
FM
2008
Springer
14 years 11 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
CATE
2004
14 years 11 months ago
2004
This investigation proposed a service-oriented approach based on a pervasive learning grid for solving the difficulties associated with sharing learning resources distributed on d...
122
click to vote
P2PKM
2004
14 years 11 months ago
2004
The ubiquitous computing vision is to make knowledge and services easily available in our everyday environments. A wide range of devices, applications and services can be intercon...
IADIS
2003
14 years 11 months ago
2003
A visual simulator has been developed as an example of Web-based education tool, which is designed for students to understand graphically internal behavior and structure of comput...
NDQA
2003
14 years 10 months ago
2003
Early TREC-style Question Answering Systems were characterized by the following features: (a) the answer of the question was known to be included in a given local corpus, (b) the ...