Sciweavers

2509 search results - page 46 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
114
Voted
DEON
2008
Springer
15 years 2 months ago
Trust and Norms in the Context of Computer Security: A Logical Formalization
Abstract. In this paper we present a logical model of trust in which trust is conceived as an expectation of the truster about some properties of the trustee. A general typology of...
Emiliano Lorini, Robert Demolombe
95
Voted
CAD
2005
Springer
15 years 14 days ago
CAD tools for aesthetic engineering
The role of computers and of computer-aided design tools for the creation of geometrical shapes that will be judged primarily by aesthetic ations is reviewed. Examples are the pro...
Carlo H. Séquin
95
Voted
VIS
2007
IEEE
115views Visualization» more  VIS 2007»
16 years 1 months ago
Efficient Computation and Visualization of Coherent Structures in Fluid Flow Applications
Abstract--The recently introduced notion of Finite-Time Lyapunov Exponent to characterize Coherent Lagrangian Structures provides a powerful framework for the visualization and ana...
Christoph Garth, Florian Gerhardt, Xavier Tricoc...
IPPS
1999
IEEE
15 years 4 months ago
SCALA: A Framework for Performance Evaluation of Scalable Computing
Abstract. Conventional performance environments are based on pro ling and event instrumentation. It becomes problematic as parallel systems scale to hundreds of nodes and beyond. A...
Xian-He Sun, Mario Pantano, Thomas Fahringer, Zhao...
JBI
2007
148views Bioinformatics» more  JBI 2007»
15 years 14 days ago
A method for linking computed image features to histological semantics in neuropathology
In medical image analysis, the image content is often represented by computed features that need to be interpreted at a clinical level of understanding to support lopment of clini...
Birgit Lessmann, Tim W. Nattkemper, V. H. Hans, An...