1581 search results - page 99 / 317 » Domain semantics of possibility computations |
109
Voted
RTA
2005
Springer
15 years 6 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
107
click to vote
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
100
Voted
GI
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. The paper describes a set of approaches for representing and accessing information within a semantically structured information portal, while offering the possibility to ...
131
Voted
ICCV
2011
IEEE
14 years 25 days ago
2011
IEEE
This paper presents a novel schema to address the polysemy of visual words in the widely used bag-of-words model. As a visual word may have multiple meanings, we show it is possib...
93
Voted
SERA
2009
Springer
15 years 7 months ago
2009
Springer
In the context of computer programming, the importance of computer assistance is being understood by many developer communities. Developers are e.g. using the same well known expre...