1616 search results - page 266 / 324 » HEI! - The Human Environment Interaction |
TABLEAUX
1995
Springer
14 years 1 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
AIA
2006
13 years 11 months ago
2006
In a manufacturing environment it is often necessary to perform a manual inventory of finished goods and raw materials. These raw materials might be wood, plastic or metal and oft...
WSC
2004
13 years 11 months ago
2004
The human behavior modeling community has traditionally been divided into those addressing individual behavior models, and those addressing organizational and team models. And yet...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
ENTCS
2010
13 years 10 months ago
2010
An adaptation contract describes composition constraints and adaptation requirements among several services which were not initially built to interoperate with each other. The man...