Sciweavers

1284 search results - page 91 / 257
» On Helping and Interactive Proof Systems
Sort
View
IUI
2005
ACM
15 years 3 months ago
Personal reporting of a museum visit as an entrypoint to future cultural experience
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...
Charles B. Callaway, Tsvi Kuflik, Elena Not, Aless...
JUCS
2006
109views more  JUCS 2006»
14 years 9 months ago
4M - Software for Modelling and Analysing Cropping Systems
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
Nándor Fodor
DMS
2008
167views Multimedia» more  DMS 2008»
14 years 11 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
CHI
2005
ACM
15 years 10 months ago
Interaction design for literature-based discovery
Rapid growth in the scientific literature makes it increasingly difficult for scientists to keep abreast of findings outside their own narrowing fields of expertise. To help biome...
Meredith M. Skeels, Kiera Henning, Meliha Yetisgen...
AVI
2008
15 years 5 days ago
The need for an interaction cost model in adaptive interfaces
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
Bowen Hui, Sean Gustafson, Pourang Irani, Craig Bo...