1604 search results - page 207 / 321 » Development Separation in Lambda-Calculus |
92
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
103
click to vote
CEAS
2005
Springer
15 years 6 months ago
2005
Springer
Today’s email clients were designed for yesterday’s email. Originally, email was merely a communication medium. Today, people engage in a variety of complex behaviours using e...
93
Voted
EDO
2005
Springer
15 years 6 months ago
2005
Springer
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
87
Voted
EGOV
2005
Springer
15 years 6 months ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
88
Voted
FIMH
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we present a novel approach to the problem of spatiotemporal alignment of cardiac MR image sequences. This novel method has the ability to correct spatial m...