2570 search results - page 25 / 514 » The Semantic Web And Its Languages |
144
click to vote
DASFAA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. In this tutorial we provide an insight into Web Mining, i.e., discovering knowledge from the World Wide Web, especially with reference to the latest developments in Web t...
117
click to vote
IJAIT
2006
15 years 1 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
138
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
DFG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
154
click to vote
JAR
2008
15 years 1 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...