Sciweavers

6722 search results - page 1075 / 1345
» Reuse-Conducive Development Environments
Sort
View
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 10 months 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
200views Optimization» more  GECCO 2007»
15 years 10 months ago
Adaptive genetic programming for option pricing
Genetic Programming (GP) is an automated computational programming methodology, inspired by the workings of natural evolution techniques. It has been applied to solve complex prob...
Zheng Yin, Anthony Brabazon, Conall O'Sullivan
108
Voted
HPCC
2007
Springer
15 years 10 months ago
Towards Scalable Event Tracing for High End Systems
Although event tracing of parallel applications offers highly detailed performance information, tracing on current leading edge systems may lead to unacceptable perturbation of the...
Kathryn Mohror, Karen L. Karavanic
ICB
2007
Springer
119views Biometrics» more  ICB 2007»
15 years 10 months ago
Nonlinear Iris Deformation Correction Based on Gaussian Model
Current iris recognition systems can achieve high level of success under restricted conditions, while they still face challenges of utilizing images with heavy deformation caused b...
Zhuoshi Wei, Tieniu Tan, Zhenan Sun
ICWE
2007
Springer
15 years 10 months ago
Engineering Semantic-Based Interactive Multi-device Web Applications
Abstract. To build high-quality personalized Web applications developers have to deal with a number of complex problems. We look at the growing class of personalized Web Applicatio...
Pieter Bellekens, Kees van der Sluijs, Lora Aroyo,...
« Prev « First page 1075 / 1345 Last » Next »