6794 search results - page 584 / 1359 » Semantics of Visual Languages |
172
click to vote
ACSD
2005
IEEE
16 years 22 days ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
239
click to vote
CIVR
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...
226
click to vote
DEXA
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
181
click to vote
ICALP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
186
click to vote
ECWEB
2005
Springer
16 years 17 days ago
2005
Springer
This work describes a novel strategy for designing an XPath processor that acts over an RDF mapping of XML. We use a modelmapping approach to represent instances of XML and XML Sch...