Sciweavers

2944 search results - page 143 / 589
» Robust Semantic Construction
Sort
View
AI
2009
Springer
15 years 11 months ago
Executable Specifications of Fully General Attribute Grammars with Ambiguity and Left-Recursion
Abstract. A top-down parsing algorithm has been constructed to accommodate any form of ambiguous context-free grammar, augmented with semantic rules with arbitrary attribute depend...
Rahmatullah Hafiz
AMAST
2004
Springer
15 years 10 months ago
A Formally Verified Calculus for Full Java Card
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...
Kurt Stenzel
PAMI
2012
13 years 9 months ago
Holistic Context Models for Visual Recognition
— A novel framework to context modeling, based on the probability of co-occurrence of objects and scenes is proposed. The modeling is quite simple, and builds upon the availabili...
Nikhil Rasiwasia, Nuno Vasconcelos
SEMWEB
2005
Springer
16 years 12 days ago
Introducing Autonomic Behaviour in Semantic Web Agents
This paper presents SERSE – SEmantic Routing SystEm– a distributed multi-agent system composed of specialised agents that provides robust and efficient gathering and aggregati...
Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smi...
ACL
2010
15 years 5 months ago
Starting from Scratch in Semantic Role Labeling
A fundamental step in sentence comprehension involves assigning semantic roles to sentence constituents. To accomplish this, the listener must parse the sentence, find constituent...
Michael Connor, Yael Gertner, Cynthia Fisher, Dan ...