Sciweavers

2135 search results - page 113 / 427
» An Operational Semantics for JavaScript
Sort
View
ISIPTA
2005
IEEE
143views Mathematics» more  ISIPTA 2005»
15 years 10 months ago
A Granular Semantics for Fuzzy Measures and its Application to Climate Change Scenarios
A granular based semantics for fuzzy measures is introduced in which the measure of a set of propositions approximates the probability of the disjunction of these propositions. Th...
Jonathan Lawry, Jim Hall, Guangtao Fu
ICDE
1993
IEEE
104views Database» more  ICDE 1993»
15 years 8 months ago
Deterministic Semantics of Set-Oriented Update Sequences
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...
Christian Laasch, Marc H. Scholl
LANMR
2004
15 years 5 months ago
New Semantics for Hybrid Probabilistic Programs
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
Emad Saad
ICDM
2008
IEEE
117views Data Mining» more  ICDM 2008»
15 years 11 months ago
Semantic Full-Text Search with ESTER: Scalable, Easy, Fast
We present a demo of ESTER, a search engine that combines the ease of use, speed and scalability of full-text search with the powerful semantic capabilities of ontologies. ESTER s...
Holger Bast, Fabian M. Suchanek, Ingmar Weber
HVC
2007
Springer
107views Hardware» more  HVC 2007»
15 years 10 months ago
On the Characterization of Until as a Fixed Point Under Clocked Semantics
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
Dana Fisman