539 search results - page 50 / 108 » The Semantic Gap of Formalized Meaning |
115
click to vote
RWEB
2010
Springer
14 years 9 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
159
click to vote
SIGMOD
2006
ACM
16 years 7 hour ago
2006
ACM
Limiting disclosure in data publishing requires a careful balance between privacy and utility. Information about individuals must not be revealed, but a dataset should still be us...
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
Orc is a language proposed by Jayadev Misra [19] for orchestration of distributed services. Orc is very simple and elegant, based on a few basic constructs, and allows succinct an...
108
click to vote
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Semantic Web research aims at bridging the gap between how humans and agents process information readily available on the Internet. One of the great challenges to this goal lies i...
110
click to vote
FMCO
2007
Springer
15 years 6 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...