500 search results - page 94 / 100 » Coalgebraic semantics for timed processes |
RTAS
2003
IEEE
15 years 2 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
DEXA
2009
Springer
15 years 4 months ago
2009
Springer
Dimension hierarchies represent a substantial part of the data warehouse model. Indeed they allow decision makers to examine data at different levels of detail with On-Line Analyt...
76
Voted
EGC
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes a research project about robot control across a computing Grid, first step toward a Grid solution for generic process control. A computational Grid can signi...
111
click to vote
MIR
2004
ACM
15 years 2 months ago
2004
ACM
In content-based image retrieval, relevance feedback has been introduced to narrow the gap between low-level image feature and high-level semantic concept. Furthermore, to speed u...