Sciweavers

3381 search results - page 359 / 677
» adaptive 2007
Sort
View
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
16 years 27 days ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
GECCO
2007
Springer
161views Optimization» more  GECCO 2007»
16 years 27 days ago
On solving hierarchical problems with top down control
We review recent work on the Hierarchical-If-And-Only-If problem and present a new hierarchical problem, HIFF-M that does not fit with previous explanations for evolutionary diffi...
Susan Khor
HPCC
2007
Springer
16 years 27 days ago
A Proactive Method for Content Distribution in a Data Indexed DHT Overlay
In a data-indexed DHT overlay network, published data annotations form distributed databases. Queries are distributed to these databases in a nonuniform way. Constructing content d...
Bassam A. Alqaralleh, Chen Wang, Bing Bing Zhou, A...
MIRAGE
2007
Springer
16 years 26 days ago
Feature Points Detection Using Combined Character Along Principal Orientation
Abstract. Most existing methods for determining localization of the image feature point are still inefficient in terms of the precision. In the paper, we propose a new algorithm fo...
Sicong Yue, Qing Wang, Rongchun Zhao
172
Voted
MODELS
2007
Springer
16 years 26 days ago
Using Domain-Specific Modeling to Generate User Interfaces for Wizards
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
Enis Afgan, Jeffrey G. Gray, Purushotham Bangalore