Sciweavers

3676 search results - page 508 / 736
» Scalable component abstractions
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
ADMI
2010
Springer
15 years 8 months ago
Probabilistic Modeling of Mobile Agents' Trajectories
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...
Stepán Urban, Michal Jakob, Michal Pechouce...
BILDMED
2008
119views Algorithms» more  BILDMED 2008»
15 years 8 months ago
Intuitive Mapping of Perfusion Parameters to Glyph Shape
Abstract. Perfusion data characterize the regional blood flow in human tissue. For each voxel, a time-intensity curve (TIC) represents the enhancement of a contrast agent (CA). Par...
Steffen Oeltze, Arvid Malyszczyk, Bernhard Preim
ECIR
2010
Springer
15 years 8 months ago
Evaluating Server Selection for Federated Search
Abstract. Previous evaluations of server selection methods for federated search have either used metrics which are unconnected with user satisfaction, or have not been able to acco...
Paul Thomas, Milad Shokouhi
CORIA
2007
15 years 8 months ago
Apprentissage actif pour l'annotation de documents
ABSTRACT. In the framework of the LegDoc project at Xerox Research Centre Europe, we are developing components for the semantic annotation of semi-structured documents. While certa...
Loïc Lecerf, Boris Chidlovskii