Sciweavers

924 search results - page 109 / 185
» Community systems research at Yahoo!
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Perceiving graphical and pictorial information via touch and hearing
With the ever increasing availability of the Internet and electronic media rich in graphical and pictorial information – for communication, commerce, entertainment, art, educati...
Pubudu Madhawa Silva, Thrasyvoulos N. Pappas, Josh...
ECTEL
2011
Springer
14 years 6 months ago
On the Way to a Science Intelligence: Visualizing TEL Tweets for Trend Detection
This paper presents an adaptable system for detecting trends based on the micro-blogging service Twitter, and sets out to explore to what extent such a tool can support researchers...
Peter Kraker, Claudia Wagner, Fleur Jeanquartier, ...
CADE
2009
Springer
16 years 7 months ago
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
Chad E. Brown, Christoph Benzmüller, Frank Th...
TVCG
2008
147views more  TVCG 2008»
15 years 6 months ago
Interactive Visual Steering - Rapid Visual Prototyping of a Common Rail Injection System
Interactive steering with visualization has been a common goal of the visualization research community for twenty years, but it is rarely ever realized in practice. In this paper w...
Kresimir Matkovic, Denis Gracanin, Mario Jelovic, ...
AAMAS
2004
Springer
15 years 6 months ago
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, Michael Luck, Michael P. Georgeff,...