Sciweavers

1490 search results - page 160 / 298
» Interactive semantics
Sort
View
MHCI
2005
Springer
15 years 3 months ago
ZuiScat: querying and visualizing information spaces on personal digital assistants
ZuiScat is a visualization concept for querying large information spaces on Personal Digital Assistants (PDA). Retrieval results are presented in a dynamic scatterplot, which is e...
Thorsten Büring, Harald Reiterer
TGC
2007
Springer
15 years 4 months ago
Multipoint Session Types for a Distributed Calculus
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
Eduardo Bonelli, Adriana B. Compagnoni
75
Voted
IADIS
2004
14 years 11 months ago
The outline of an 'intelligent' image retrieval engine
The first image retrieval systems hold the advantage of being fully automatic, and thus scalable to large collections of images but are restricted to the representation of low-lev...
Mohammed Belkhatir, Philippe Mulhem, Yves Chiarame...
BIRTHDAY
2006
Springer
15 years 1 months ago
Computational Logic in an Object-Oriented World
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
Bob Kowalski
86
Voted
CONCUR
2010
Springer
14 years 10 months ago
On the Compositionality of Round Abstraction
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
Dan R. Ghica, Mohamed N. Menaa