Sciweavers

5879 search results - page 857 / 1176
» Separation - Past, Present, and Future
Sort
View
FASE
2007
Springer
16 years 28 days ago
Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
Julia Padberg, Kathrin Hoffmann, Hartmut Ehrig, To...
141
Voted
FMCO
2007
Springer
16 years 28 days ago
Universe Types for Topology and Encapsulation
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
Dave Cunningham, Werner Dietl, Sophia Drossopoulou...
GECCO
2007
Springer
392views Optimization» more  GECCO 2007»
16 years 28 days ago
Electronic synthesis using genetic algorithms for automatic music transcription
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diï...
Gustavo Reis, Francisco Fernández de Vega
HPCC
2007
Springer
16 years 28 days ago
Performance Evaluation of View-Oriented Parallel Programming on Cluster of Computers
Abstract. View-Oriented Parallel Programming(VOPP) is a novel programming style based on Distributed Shared Memory, which is friendly and easy for programmers to use. In this paper...
Haifeng Shang, Jiaqi Zhang, Wenguang Chen, Weimin ...
HUMO
2007
Springer
16 years 28 days ago
Multi Person Tracking Within Crowded Scenes
This paper presents a solution to the problem of tracking people within crowded scenes. The aim is to maintain individual object identity through a crowded scene which contains com...
Andrew Gilbert, Richard Bowden