Sciweavers

6794 search results - page 1046 / 1359
» Semantics of Visual Languages
Sort
View
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 8 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
TVCG
2002
135views more  TVCG 2002»
15 years 4 months ago
Three-Dimensional Interfaces for Querying by Example in Content-Based Image Retrieval
Image databases are nowadays widely exploited in a number of different contexts, ranging from history of art, through medicine, to education. Existing querying paradigms are based ...
Jürgen Assfalg, Alberto Del Bimbo, Pietro Pal...
CLEF
2007
Springer
15 years 11 months ago
DCU and UTA at ImageCLEFPhoto 2007
Dublin City University (DCU) and University of Tampere (UTA) participated in the ImageCLEF 2007 photographic ad-hoc retrieval task with several monolingual and bilingual runs. Our...
Anni Järvelin, Peter Wilkins, Tomasz Adamek, ...
139
Voted
IV
2003
IEEE
200views Visualization» more  IV 2003»
15 years 10 months ago
Artist As Researcher, Understanding The Tools
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...
Theresa Gartland-Jones
SEMCO
2009
IEEE
15 years 11 months ago
LexPar: A Freely Available English Paraphrase Lexicon Automatically Extracted from FrameNet
—This is a paper about a new resource, namely an English paraphrase dictionary extracted from the FrameNet lexicon and its example data base. I. THE LEXPAR PARAPHRASE DICTIONARY ...
Bob Coyne, Owen Rambow
« Prev « First page 1046 / 1359 Last » Next »