12774 search results - page 2268 / 2555 » A Framework for Proof Systems |
170
click to vote
AUSAI
2003
Springer
15 years 12 months ago
2003
Springer
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
178
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
: A data warehouse is a database focused on decision making. It is built separately from the transactional (OLTP) databases of the enterprise, although it is partly fed from transa...
187
click to vote
CC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The register allocation in loops is generally performed after or during the software pipelining process. This is because doing a conventional register allocation at firs...
205
click to vote
CEEMAS
2003
Springer
15 years 12 months ago
2003
Springer
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the di...
201
click to vote
CMSB
2003
Springer
15 years 12 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...