3645 search results - page 298 / 729 » Implementing mapping composition |
142
click to vote
SG
2005
Springer
16 years 4 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...
195
click to vote
TLCA
2005
Springer
16 years 4 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...
156
click to vote
MUM
2004
ACM
16 years 2 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...
195
click to vote
ICCS
2004
Springer
16 years 1 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...
165
click to vote
IFIP
2004
Springer
16 years 21 hour 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...