1284 search results - page 147 / 257 » On Helping and Interactive Proof Systems |
CIMCA
2005
IEEE
14 years 3 months ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
ICIP
2001
IEEE
14 years 11 months ago
2001
IEEE
The majority of today's content based image retrieval systems rely on low-level image descriptors which limit their capability to support meaningful interactions with the use...
ACMDIS
2000
ACM
14 years 2 months ago
2000
ACM
Item selection is a key problem in electronic guidebook design. Many systems do not apply so-called “context-awareness” technologies to infer user interest, placing the entire...
BELL
2000
13 years 10 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
CHI
2011
ACM
13 years 1 months ago
2011
ACM
Today, commodity technologies like mobile phones—once symbols of status and wealth—have become deeply woven into social and economic participation in Western society. Despite ...