3239 search results - page 451 / 648 » A Logical Process Calculus |
138
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
While dedicated technologies such as e.g., Sun’s J2ME MIDP offer a simple programming model for mobile applications, appropriate support for modularizing the implementation of t...
112
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...
130
click to vote
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
135
Voted
DOLAP
2004
ACM
15 years 9 months ago
2004
ACM
In today’s OLAP systems, integrating fast changing data, e.g., stock quotes, physically into a cube is complex and time-consuming. The widespread use of XML makes it very possib...
141
Voted
DILS
2004
Springer
15 years 9 months ago
2004
Springer
An abundance of biological data sources contain data on classes of scientific entities, such as genes and sequences. Logical relationships between scientific objects are implemen...