539 search results - page 51 / 108 » The Semantic Gap of Formalized Meaning |
116
click to vote
IJSWIS
2006
14 years 12 months ago
2006
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...
ICWS
2003
IEEE
15 years 1 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
121
click to vote
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
The increase of personal digital cameras with video functionality and video-enabled camera phones has increased the amount of user-generated videos on the Web. People are spending ...
ICCD
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...
ICNP
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper we present a new approach for the automated mapping of formal descriptions into activity thread implementations. Our approach resolves semantic conflicts by reorderi...