1580 search results - page 46 / 316 » CoTeSys - Cognition for Technical Systems |
161
click to vote
TLCA
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
182
click to vote
SIGIR
1996
ACM
15 years 10 months ago
1996
ACM
Designing good user interfaces to information retrieval systems is a complex activity. The design space is large and evaluation methodologies that go beyond the classical precisio...
147
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by eng...
152
click to vote
WSC
2008
15 years 8 months ago
2008
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
155
click to vote
CAINE
2006
15 years 7 months ago
2006
This paper presents the conception, the design and a prototype of a virtual reality system for learning and maintenance training of Hydroelectric Generating Unit (HGU). The system...