Sciweavers

3429 search results - page 185 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
124
Voted
IDT
2008
123views more  IDT 2008»
15 years 2 months ago
A rich semantic model of track as a foundation for sharing beliefs regarding dynamic objects and events
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
Frederick Hayes-Roth, Curtis L. Blais
135
Voted
BPM
2008
Springer
217views Business» more  BPM 2008»
15 years 4 months ago
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
Guido Governatori, Jörg Hoffmann, Shazia Wasi...
LISP
2006
105views more  LISP 2006»
15 years 2 months ago
Call-by-push-value: Decomposing call-by-value and call-by-name
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...
Paul Blain Levy
139
Voted
VC
2002
129views more  VC 2002»
15 years 2 months ago
Modeling a Murex cabritii sea shell with a structured implicit surface modeler
Implicit surface modeling systems have been used since the mid-1980s for the generation of cartoon-like characters. Recently implicit models combined with constructive solid geome...
Callum Galbraith, Przemyslaw Prusinkiewicz, Brian ...
121
Voted
IEEEICCI
2003
IEEE
15 years 7 months ago
Mixing Semantic Networks and Conceptual Vectors: The Case of Hyperonymy
In this paper, we focus on lexical semantics, a key issue in Natural Language Processing (NLP) that tends to converge with conceptual Knowledge Representation (KR) and ontologies....
Violaine Prince, Mathieu Lafourcade