Sciweavers

1179 search results - page 61 / 236
» Programming in Hybrid Constraint Languages
Sort
View
MICCAI
2008
Springer
14 years 11 months ago
A Hybrid System for the Semantic Annotation of Sulco-Gyral Anatomy in MRI Images
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
Ammar Mechouche, Xavier Morandi, Christine Golbr...
SIGMOD
1996
ACM
120views Database» more  SIGMOD 1996»
14 years 2 months ago
Query Execution Techniques for Caching Expensive Methods
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...
Joseph M. Hellerstein, Jeffrey F. Naughton
COMPSAC
2002
IEEE
14 years 3 months ago
Hybrid Role Hierarchy for Generalized Temporal Role Based Access Control Model
Generalized Temporal Role Based Access Control (GTRBAC) model that captures an exhaustive set of temporal constraint needs for access control has recently been proposed. GTRBAC’...
James Joshi, Elisa Bertino, Arif Ghafoor
ANOR
2002
67views more  ANOR 2002»
13 years 10 months ago
An Improved Hybrid Model for the Generic Hoist Scheduling Problem
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
Daniel Riera, Neil Yorke-Smith
ICFP
2009
ACM
14 years 10 months ago
Safe functional reactive programming through dependent types
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
Neil Sculthorpe, Henrik Nilsson