Sciweavers

339 search results - page 61 / 68
» Abstracting Interactions Based on Message Sets
Sort
View
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
13 years 10 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
BCSHCI
2007
13 years 8 months ago
Challenges of evaluating the information visualisation experience
Information Visualisation (InfoVis) is defined as an ive visual representation of abstract data. We view the user’s interaction with InfoVis tools as an experience which is made...
Sarah Faisal, Paul A. Cairns, Ann Blandford
DAGM
2010
Springer
13 years 7 months ago
Semi-supervised Learning of Edge Filters for Volumetric Image Segmentation
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...
Margret Keuper, Robert Bensch, Karsten Voigt, Alex...
MMS
2008
13 years 6 months ago
Robust source-channel coding for real-time multimedia
Abstract Multimedia applications operating in today's Internet have to employ some form of error resilience to cope with losses. For interactive applications with strict delay...
György Dán, Viktória Fodor, Gun...
JCC
2007
151views more  JCC 2007»
13 years 6 months ago
New parallel algorithm for MP2 energy gradient calculations
Abstract: A new parallel algorithm has been developed for calculating the analytic energy derivatives of full accuracy second order Møller-Plesset perturbation theory (MP2). Its m...
Kazuya Ishimura, Peter Pulay, Shigeru Nagase