Sciweavers

2830 search results - page 237 / 566
» No Science without Semantics
Sort
View
145
Voted
ENTCS
2008
91views more  ENTCS 2008»
15 years 4 months ago
A Name Abstraction Functor for Named Sets
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...
Vincenzo Ciancia, Ugo Montanari
104
Voted
JCSS
2000
71views more  JCSS 2000»
15 years 4 months ago
Path Constraints in Semistructured Databases
We investigate a class of path constraints that is of interest in connection with both semistructured and structured data. In standard database systems, constraints are typically ...
Peter Buneman, Wenfei Fan, Scott Weinstein
VL
2010
IEEE
195views Visual Languages» more  VL 2010»
15 years 3 months ago
Causal Reasoning with Neuron Diagrams
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
Martin Erwig, Eric Walkingshaw
125
Voted
BALT
2006
15 years 8 months ago
On Ontology, ontologies, Conceptualizations, Modeling Languages, and (Meta)Models
In philosophy, the term ontology has been used since the 17th century to refer both to a philosophical discipline (Ontology with a capital "O"), and as a domain-independe...
Giancarlo Guizzardi
433
Voted

Book
695views
17 years 11 days ago
The Scheme Programming Language
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
R. Kent Dybvig