Sciweavers

2432 search results - page 405 / 487
» High-level approach to modeling of observed system behavior
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
ICCS
2007
Springer
16 years 13 days ago
Trikonic Inter-Enterprise Architectonic
There is a need for information, application, and other enterprise architectures which are robust and flexible enough to meet the challenges of today’s heterogeneous, rapidly cha...
Gary Richmond
ISBI
2008
IEEE
16 years 7 months ago
Segmentation of the evolving left ventricle by learning the dynamics
We propose a method for recursive segmentation of the left ventricle (LV) across a temporal sequence of magnetic resonance (MR) images. The approach involves a technique for learn...
Walter Sun, Müjdat Çetin, Raymond Chan...
NICSO
2010
Springer
16 years 1 months ago
A Metabolic Subsumption Architecture for Cooperative Control of the e-Puck
Subsumption architectures are a well-known model for behaviour-based robotic control. The overall behaviour is achieved by defining a hierarchy of increasingly sophisticated behav...
Verena Fischer, Simon J. Hickinbotham
DASFAA
2009
IEEE
151views Database» more  DASFAA 2009»
16 years 1 months ago
The Challenge of Assuring Data Trustworthiness
Abstract. With the increased need of data sharing among multiple organizations, such as government organizations, financial corporations, medical hospitals and academic institution...
Elisa Bertino, Chenyun Dai, Murat Kantarcioglu