Sciweavers

1490 search results - page 248 / 298
» Interactive semantics
Sort
View
CIKM
2007
Springer
14 years 1 months ago
A knowledge-based search engine powered by wikipedia
This paper describes Koru, a new search interface that offers effective domain-independent knowledge-based information retrieval. Koru exhibits an understanding of the topics of b...
David N. Milne, Ian H. Witten, David M. Nichols
CCECE
2006
IEEE
14 years 1 months ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
IEEEARES
2006
IEEE
14 years 1 months ago
Sandboxing in myKlaim
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
René Rydhof Hansen, Christian W. Probst, Fl...
LAWEB
2005
IEEE
14 years 1 months ago
Using the MetroWeb Tool to Improve Usability Quality of Web Sites
This work addresses the question of supporting web designers in considering usability in their work in order to foster user-centered design of web sites. With the MetroWeb tool th...
Céline Mariage, Jean Vanderdonckt, Aline Ch...
ACMACE
2005
ACM
14 years 1 months ago
Fast delivery of game events with an optimistic synchronization mechanism in massive multiplayer online games
As smart players often win MMOG sessions by adopting frantic gaming strategies along the game evolution, also the system activities concerned with the distributed support of MMOGs...
Stefano Ferretti, Marco Roccetti