6794 search results - page 73 / 1359 » Semantics of Visual Languages |
ENTCS
2008
13 years 9 months ago
2008
The paper presents ConSpec, an automata based policy specification language. The language trades off clean semantics to language expressiveness; a formal semantics for the languag...
CORR
2011
Springer
13 years 23 days ago
2011
Springer
This article presents a measure of semantic similarity in an is-a taxonomy based on the notion of shared information content. Experimental evaluation against a benchmark set of hu...
VL
2000
IEEE
14 years 1 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
VL
1999
IEEE
14 years 1 months ago
1999
IEEE
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
We argue for a compositional semantics grounded in a strongly typed ontology that reflects our commonsense view of the world and the way we talk about it. Assuming such a structure...