3645 search results - page 298 / 729 » Implementing mapping composition |
160
click to vote
SG
2005
Springer
16 years 21 days ago
2005
Springer
We present a system using semi-autonomous agents to help artists express ideas. Agents control their representation on a canvas via interactions in agent space. They are given a se...
212
click to vote
TLCA
2005
Springer
16 years 21 days ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
177
click to vote
MUM
2004
ACM
16 years 19 days ago
2004
ACM
The Task Computing framework is designed to operate in dynamic ubiquitous environments in which a mobile computing user dynamically discovers the current set of available semantic...
217
click to vote
ICCS
2004
Springer
16 years 18 days ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
184
click to vote
IFIP
2004
Springer
16 years 17 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...