Sciweavers

2135 search results - page 244 / 427
» An Operational Semantics for JavaScript
Sort
View
FOIS
2006
15 years 4 months ago
An Algebra for Composing Ontologies
Ontologies are used as a means of expressing agreements to a vocabulary shared by a community in a coherent and consistent manner. As it happens in the Internet, ontologies are cr...
Saket Kaushik, Csilla Farkas, Duminda Wijesekera, ...
CRIWG
2001
15 years 4 months ago
Integration of Domain-Specific Elements into Visual Language Based Collaborative Environments
This paper presents an approach for the integration of domain related elements and operational semantics into collaborative environments based on visual languages. This integratio...
Niels Pinkwart, Heinz Ulrich Hoppe, Katrin Ga&szli...
FLAIRS
2000
15 years 4 months ago
Deriving Summaries Through an Identity-Based Approach
The existence of large datasets requires methods for producing simpler or summarized views of data. Typical approaches to summarization based on statistics do not capture complete...
Kathleen Hornsby
IJCAI
1989
15 years 4 months ago
Measure-Free Conditioning, Probability and Non-Monotonic Reasoning
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
Didier Dubois, Henri Prade
CONCUR
2010
Springer
15 years 4 months ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu