Sciweavers

5799 search results - page 1034 / 1160
» Health-OS: : a position paper
Sort
View
ATAL
2005
Springer
16 years 1 days ago
AgentSteel: an agent-based online system for the planning and observation of steel production
The steel production of the German company Saarstahl AG, a global respected steel manufacturer, represents a Supply Chain which comprehends several time-critical and highly interf...
Sven Jacobi, Cristián Madrigal-Mora, Esteba...
ATAL
2005
Springer
16 years 1 days 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
BIRTHDAY
2005
Springer
16 years 1 days ago
Finite Equational Bases in Process Algebra: Results and Open Questions
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
CCIA
2005
Springer
16 years 21 hour ago
Angle Images using Gabor Filters in Cardiac Tagged MRI
Tagged Magnetic Resonance Imaging (MRI) is a non-invasive technique used to examine cardiac deformation in vivo. An Angle Image is a representation of a Tagged MRI which recovers t...
Joel Barajas, Jaume Garcia-Barnes, Francesc Carrer...
CEAS
2005
Springer
16 years 21 hour ago
Accredited DomainKeys: A Service Architecture for Improved Email Validation
We present an architecture called Accredited DomainKeys, which builds on the DomainKeys email authentication infrastructure to address the following questions: • “Did the send...
Michael T. Goodrich, Roberto Tamassia, Danfeng Yao
« Prev « First page 1034 / 1160 Last » Next »