Sciweavers

1364 search results - page 56 / 273
» Comparative Branching-Time Semantics
Sort
View
ENTCS
2006
133views more  ENTCS 2006»
14 years 12 months ago
A Compositional Natural Semantics and Hoare Logic for Low-Level Languages
The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be diff...
Ando Saabas, Tarmo Uustalu
ICPR
2004
IEEE
16 years 28 days ago
Object-Based and Event-Based Semantic Video Adaptation
Semantic video adaptation allows to transmit video content with different viewing quality, depending on the relevance of the content from the user's viewpoint. To this end, a...
Marco Bertini, Alberto Del Bimbo, Rita Cucchiara, ...
CIARP
2009
Springer
15 years 6 months ago
Randomized Probabilistic Latent Semantic Analysis for Scene Recognition
The concept of probabilistic Latent Semantic Analysis (pLSA) has gained much interest as a tool for feature transformation in image categorization and scene recognition scenarios. ...
Erik Rodner, Joachim Denzler
AIIA
2007
Springer
15 years 6 months ago
Instance-Based Query Answering with Semantic Knowledge Bases
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
OTM
2007
Springer
15 years 6 months ago
Adaptive Semantic Interoperability Strategies for Knowledge Based Networking
A Knowledge Based Network is a type of ontological content based network. As Knowledge Based Networks scale, semantic interoperability becomes an important issue since larger popul...
Song Guo, John Keeney, Declan O'Sullivan, David Le...