Sciweavers

1604 search results - page 207 / 321
» Development Separation in Lambda-Calculus
Sort
View
92
Voted
ATAL
2005
Springer
15 years 6 months ago
On the meta-logic of arguments
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 ...
Michael Wooldridge, Peter McBurney, Simon Parsons
CEAS
2005
Springer
15 years 6 months ago
Email Task Management: An Iterative Relational Learning Approach
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...
Rinat Khoussainov, Nicholas Kushmerick
93
Voted
EDO
2005
Springer
15 years 6 months ago
Optimizing layered middleware
Middleware is often built using a layered architectural style. Layered design provides good separation of the different concerns of middleware, such as communication, marshaling, ...
Ömer Erdem Demir, Premkumar T. Devanbu, Eric ...
87
Voted
EGOV
2005
Springer
15 years 6 months ago
Monitoring and Updating Regulations and Policies for Government Services
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...
Soon Ae Chun, Edwin Portscher, James Geller
88
Voted
FIMH
2005
Springer
15 years 6 months ago
Fast Spatio-temporal Free-Form Registration of Cardiac MR Image Sequences
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...
Dimitrios Perperidis, Raad Mohiaddin, Daniel Rueck...