4460 search results - page 825 / 892 » Formal methods for interactive systems |
BMCBI
2008
13 years 7 months ago
2008
Background: Availability of information about transcription factors (TFs) is crucial for genome biology, as TFs play a central role in the regulation of gene expression. While man...
AAMAS
1999
Springer
13 years 7 months ago
1999
Springer
: Although avatars may resemble communicative interface agents, they have for the most part not profited from recent research into autonomous embodied conversational systems. In pa...
COMGEO
1999
ACM
13 years 7 months ago
1999
ACM
The visual nature of geometry applications makes them a natural area where visualization can be an effective tool for demonstrating algorithms. In this paper we propose a new mode...
EDM
2011
12 years 7 months ago
2011
Assessment on collaborative student behavior is a longstanding issue in user modeling. Nowadays thanks to the proliferation of online learning and the vast amount of data on studen...
ECAI
2006
Springer
13 years 11 months ago
2006
Springer
Public electronic displays can be used as an advertising medium when space is a scarce resource, and it is desirable to expose many adverts to as wide an audience as possible. Alth...