Sciweavers

10707 search results - page 1860 / 2142
» Designing executable abstractions
Sort
View
DBISP2P
2003
Springer
152views Database» more  DBISP2P 2003»
16 years 12 days ago
An Adaptive and Scalable Middleware for Distributed Indexing of Data Streams
Abstract. We are witnessing a dramatic increase in the use of datacentric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and various ...
Ahmet Bulut, Roman Vitenberg, Fatih Emekçi,...
DIS
2003
Springer
16 years 12 days ago
Extraction of Coverings as Monotone DNF Formulas
Abstract. In this paper, we extend monotone monomials as large itemsets in association rule mining to monotone DNF formulas. First, we introduce not only the minimum support but al...
Kouichi Hirata, Ryosuke Nagazumi, Masateru Harao
EMSOFT
2003
Springer
16 years 12 days ago
Generating Heap-Bounded Programs in a Functional Setting
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
Walid Taha, Stephan Ellner, Hongwei Xi
ER
2003
Springer
158views Database» more  ER 2003»
16 years 12 days ago
REF: A Practical Agent-Based Requirement Engineering Framework
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
Paolo Bresciani, Paolo Donzelli
EUROCAST
2003
Springer
135views Hardware» more  EUROCAST 2003»
16 years 12 days ago
White Matter Mapping in DT-MRI Using Geometric Flows
Abstract. We present a 3D geometric flow designed to evolve in Diffusion Tensor Magnetic Resonance Images(DT-MRI) along fiber tracts by measuring the diffusive similarity betwe...
Lisa Jonasson, Patric Hagmann, Xavier Bresson, Ret...
« Prev « First page 1860 / 2142 Last » Next »