1616 search results - page 266 / 324 » HEI! - The Human Environment Interaction |
TABLEAUX
1995
Springer
15 years 3 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
15 years 1 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
15 years 1 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...
108
click to vote
ECAI
2010
Springer
15 years 28 days 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
14 years 12 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...