Sciweavers

1648 search results - page 64 / 330
» A Modelling Framework for Functional Imagination
Sort
View
ENTCS
2006
176views more  ENTCS 2006»
14 years 12 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
CAISE
2004
Springer
15 years 5 months ago
Ontology for Characterising Architecture Frameworks
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
Oddrun Pauline Ohren
LDVF
2000
102views more  LDVF 2000»
14 years 11 months ago
Imperatives, Commitment and Action: Towards a Constraint-based Model
The aim of this paper is to provide an analysis of the function of imperatives in dialogue. In particular, the focus is on the use of logically complex imperatives (e.g., `Say hel...
Paul Piwek
ESORICS
2008
Springer
15 years 1 months ago
Sharemind: A Framework for Fast Privacy-Preserving Computations
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...
Dan Bogdanov, Sven Laur, Jan Willemson
MICCAI
2005
Springer
16 years 21 days ago
Hybrid Segmentation Framework for Tissue Images Containing Gene Expression Data
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
Musodiq Bello, Tao Ju, Joe D. Warren, James Carson...