Sciweavers

1444 search results - page 156 / 289
» The end of users
Sort
View
96
Voted
ICTAI
2007
IEEE
15 years 4 months ago
CompoNet: Programmatically Embedding Neural Networks into AI Applications as Software Components
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
Uzair Ahmad, Andrey Gavrilov, Sungyoung Lee, Young...
IV
2007
IEEE
98views Visualization» more  IV 2007»
15 years 4 months ago
An infrastructure for remote virtual exploration on PDAs
In this paper we present a prototyped system to enable the virtual exploration of a complex virtual environment. Our approach exploits Quest3D as main rendering engine, its output...
Rosario De Chiara, Ugo Erra, Andrea Petta, Vittori...
QEST
2007
IEEE
15 years 4 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
VL
2005
IEEE
110views Visual Languages» more  VL 2005»
15 years 3 months ago
Forms of Expression for Designing Visual Languages for Animation
We present further steps in our research into visual languages for animation. Animation is a rich mode of communication that is currently accessible to few, because animation syst...
Richard C. Davis, James A. Landay
IUI
2005
ACM
15 years 3 months ago
Conventions in human-human multi-threaded dialogues: a preliminary study
In this paper, we explore the conventions that people use in managing multiple dialogue threads. In particular, we focus on where in a thread people interrupt when switching to an...
Peter A. Heeman, Fan Yang, Andrew L. Kun, Alexande...