7121 search results - page 1059 / 1425 » Functions as Session-Typed Processes |
201
click to vote
ROBOCUP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
189
click to vote
SAFECOMP
2007
Springer
16 years 25 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
194
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Semantic Web Services are emerging for their promise to produce a more accurate and precise Web Service discovery process. However, most of research approaches focus only...
189
click to vote
SG
2007
Springer
16 years 25 days ago
2007
Springer
This research proposes 3D graphical agents in the role of virtual presenters with a new type of functionality – the capability to process and respond to visual attention of users...
164
click to vote
SSD
2007
Springer
16 years 25 days ago
2007
Springer
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...