1021 search results - page 201 / 205 » Concepts in Proof Planning |
ELPUB
2007
ACM
14 years 1 months ago
2007
ACM
In September 2004 the Italian Ministry of Cultural Heritage and Activities (MiBAC) committed to Scuola Normale Superiore di Pisa (SNS) the scientific and technical project for the...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
We present mechanisms, architectures, and an implementation addressing challenges with mobile opportunistic commerce centering on markets and mechanisms that support the procureme...
CHI
2008
ACM
13 years 11 months ago
2008
ACM
Usability evaluation methods have a long history of research. Latest contributions significantly raised the validity of method evaluation studies. But there is still a measurement...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states th...