Sciweavers

6016 search results - page 255 / 1204
» The semantics of graphical languages
Sort
View
ESOP
2001
Springer
15 years 11 months ago
Semantics and Termination of Simply-Moded Logic Programs with Dynamic Scheduling
Abstract. In logic programming, dynamic scheduling refers to a situation where the selection of the atom in each resolution (computation) step is determined at runtime, as opposed ...
Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-G...
DASFAA
2009
IEEE
156views Database» more  DASFAA 2009»
15 years 10 months ago
Knowledge Discovery over the Deep Web, Semantic Web and XML
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...
Aparna S. Varde, Fabian M. Suchanek, Richi Nayak, ...
DILS
2008
Springer
15 years 8 months ago
Chemical Knowledge for the Semantic Web
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...
Mykola Konyk, Alexander De Leon Battista, Michel D...
IWFM
1998
15 years 8 months ago
Motivation for a New Semantics for Vagueness
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
Mark Changizi
POPL
1998
ACM
15 years 11 months ago
From System F to Typed Assembly Language
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
J. Gregory Morrisett, David Walker, Karl Crary, Ne...