1938 search results - page 245 / 388 » Extending Conceptual Models for Web Based Applications |
LICS
2000
IEEE
14 years 12 days ago
2000
IEEE
We introduce a new model based on coherence spaces for interpreting large impredicative type systems such as the Extended Calculus of Constructions (ECC). Moreover, we show that t...
KES
2006
Springer
13 years 8 months ago
2006
Springer
Forecasting exchange rates is an important financial problem that is receiving increasing attention especially because of its difficulty and practical applications. This paper prop...
COOPIS
1998
IEEE
14 years 8 days ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
LREC
2008
13 years 9 months ago
2008
Notwithstanding its acknowledged richness, the SIMPLE semantic model does not offer the representational vocabulary for encoding some conceptual links holding between events and t...
SCFBM
2008
13 years 7 months ago
2008
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...