1895 search results - page 362 / 379 » Modular Functional Descriptions |
MOBISYS
2010
ACM
13 years 10 months ago
2010
ACM
This paper develops a navigation service, called GreenGPS, that uses participatory sensing data to map fuel consumption on city streets, allowing drivers to find the most fueleffi...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
CASCON
2007
13 years 9 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
MKWI
2008
13 years 9 months ago
2008
: Service-oriented architectures (SOA) are recent architectures enabling interoperable machine-to-machine process interaction by generating a comprehensive view of independent soft...
LWA
2004
13 years 9 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...