Sciweavers

3679 search results - page 228 / 736
» Hybrid Semantic Analysis
Sort
View
AIPS
2009
15 years 7 months ago
Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis
We provide a theoretical analysis of planning via Petri net unfolding, a novel technique for synthesising parallel plans. Parallel plans are generally valued for their execution f...
Sarah L. Hickmott, Sebastian Sardiña
JSAI
2005
Springer
16 years 5 days ago
Implicatures and Evidentiality of Because Complements at Syntax-Semantics-Pragmatics Interfaces
This paper will explain the asymmetry parallelism between node ‘because’ and toki ‘when’ in terms of the availability of Evidential Phrase in syntax, following the analysis...
Yurie Hara
GI
2008
Springer
15 years 7 months ago
Authenticity: The missing link in the social semantic web
Abstract: Especially data on social network services (SNS) is linked to online personas. Our analysis has shown that no reliably solution for origin authentication is in widespread...
Bastian Braun, Henrich Christopher Pöhls
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
CVPR
2007
IEEE
16 years 8 months ago
Segmental Hidden Markov Models for View-based Sport Video Analysis
We present a generative model approach to explore intrinsic semantic structures in sport videos, e.g., the camera view in American football games. We will invoke the concept of se...
Yi Ding, Guoliang Fan