Sciweavers

2777 search results - page 255 / 556
» Example centric programming
Sort
View
ASP
2005
Springer
15 years 12 months ago
Modeling Hybrid Domains Using Process Description Language
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
Sandeep Chintabathina, Michael Gelfond, Richard Wa...
CIE
2005
Springer
15 years 12 months ago
A Logical Approach to Abstract Algebra
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
Thierry Coquand
ECAL
2005
Springer
15 years 12 months ago
A Developmental Model for Generative Media
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
Jon McCormack
ICCS
2005
Springer
15 years 12 months ago
A Fuzzy Index Tracking Portfolio Selection Model
The investment strategies can be divided into two classes: passive investment strategies and active investment strategies. An index tracking investment strategy belongs to the clas...
Yong Fang, Shouyang Wang
140
Voted
MATA
2005
Springer
169views Communications» more  MATA 2005»
15 years 12 months ago
Widget Integration Framework for Context-Aware Middleware
Widget Integration Framework (WIF) is a framework that covers diverse widgets and their interactions with higher layers above. The framework everal advantages of supporting a progr...
Eun-Seok Ryu, Jeong-Seop Hwang, Chuck Yoo