Sciweavers

536 search results - page 61 / 108
» Reusing Models of Different Abstraction Levels
Sort
View
NECO
1998
171views more  NECO 1998»
14 years 9 months ago
Constrained Optimization for Neural Map Formation: A Unifying Framework for Weight Growth and Normalization
three different levels of abstraction: detailed models including ctivity dynamics, weight dynamics that abstract from the neural activity dynamics by an adiabatic approximation, an...
Laurenz Wiskott, Terrence J. Sejnowski
BXML
2003
14 years 11 months ago
An XML-based Component Architecture for Personalized Adaptive Web Applications
: Developing personalized applications for the ubiquitous Web assumes to create content that can be automatically adapted to both different presentation platforms and user preferen...
Zoltán Fiala, Michael Hinz, Frank Wehner
72
Voted
COMPSAC
2004
IEEE
15 years 1 months ago
A Development Framework for Rapid Meta-Heuristics Hybridization
While meta-heuristics are effective for solving large-scale combinatorial optimization problems, they result from time-consuming trial-and-error algorithm design tailored to speci...
Hoong Chuin Lau, Wee Chong Wan, Min Kwang Lim, Ste...
ENTCS
2008
170views more  ENTCS 2008»
14 years 10 months ago
A Coq Library for Verification of Concurrent Programs
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
Reynald Affeldt, Naoki Kobayashi
IJCIS
2006
80views more  IJCIS 2006»
14 years 10 months ago
A Layered Framework for Connecting Client Objectives and Resource Capabilities
entifies three levels of abstraction for resource requirements a service provider needs to manage, detailed specification of raw resources, virtualization of heterogeneous resource...
Asit Dan, Kavitha Ranganathan, Catalin Dumitrescu,...