Sciweavers

6201 search results - page 174 / 1241
» Implementation of Axiomatic Language
Sort
View
SEMWEB
2005
Springer
15 years 10 months ago
A Fuzzy Semantics for Semantic Web Languages
Although the model-theoretic semantics of the languages used in the Semantic Web are crisps, the need arise to extend them to represent fuzzy data, in the same way fuzzy logic exte...
Mauro Mazzieri, Aldo Franco Dragoni
BIRTHDAY
2008
Springer
15 years 6 months ago
The Reaction Algebra: A Formal Language for Event Correlation
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
César Sánchez, Matteo Slanina, Henny...
EUMAS
2006
15 years 6 months ago
Bidding Languages and Winner Determination for Mixed Multi-unit Combinatorial Auctions
We introduce a new type of combinatorial auction that allows agents to bid for goods to buy, for goods to sell, and for transformations of goods. One such transformation can be se...
Jesús Cerquides, Ulle Endriss, Andrea Giova...
144
Voted
MSO
2003
15 years 6 months ago
A Meta-Model based Approach for the Combination of Models in Multiple Languages
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Eckhardt Holz
118
Voted
CN
2000
63views more  CN 2000»
15 years 4 months ago
Squeal: a structured query language for the Web
The Web contains an abundance of useful semi-structured information that can and should be mined. Types of structure include hyperlinks between pages, structure within hypertext p...
Ellen Spertus, Lynn Andrea Stein