Sciweavers

647 search results - page 98 / 130
» Implementation of MAP: A system for mobile assistant program...
Sort
View
PPDP
2005
Springer
15 years 11 months ago
ReactiveML: a reactive extension to ML
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
Louis Mandel, Marc Pouzet
JFP
2008
97views more  JFP 2008»
15 years 4 months ago
HM(X) type inference is CLP(X) solving
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
Martin Sulzmann, Peter J. Stuckey
BMCBI
2010
152views more  BMCBI 2010»
15 years 6 months ago
FITBAR: a web tool for the robust prediction of prokaryotic regulons
Background: The binding of regulatory proteins to their specific DNA targets determines the accurate expression of the neighboring genes. The in silico prediction of new binding s...
Jacques Oberto
WAIM
2005
Springer
15 years 11 months ago
Understanding User Operations on Web Page in WISE
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
Hongyan Li, Ming Xue, Jianjun Wang, Shiwei Tang, D...
SIGCSE
2008
ACM
211views Education» more  SIGCSE 2008»
15 years 5 months ago
Cluster computing for web-scale data processing
In this paper we present the design of a modern course in cluster computing and large-scale data processing. The defining differences between this and previously published designs...
Aaron Kimball, Sierra Michels-Slettvet, Christophe...