Sciweavers

2111 search results - page 253 / 423
» How to Program Pervasive Systems
Sort
View
ICCS
2001
Springer
15 years 8 months ago
Application Monitoring in the Grid with GRM and PROVE
GRM and PROVE were originally designed and implemented as part of the P-GRADE graphical parallel program development environment running on clusters. In the framework of the bigges...
Zoltán Balaton, Péter Kacsuk, Norber...
129
Voted
ECML
1998
Springer
15 years 7 months ago
Learning to Classify X-Ray Images Using Relational Learning
: Image understanding often requires extensive background knowledge. The problem addressed in this paper is such knowledge can be acquired. We discuss how relational machine learni...
Claude Sammut, Tatjana Zrimec
131
Voted
ISMIS
1993
Springer
15 years 7 months ago
Compiling Proof Search in Semantic Tableaux
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
Joachim Posegga
148
Voted
IWMM
2000
Springer
144views Hardware» more  IWMM 2000»
15 years 7 months ago
Memory Allocation with Lazy Fits
Dynamic memory allocation is an important part of modern programming languages. It is important that it be done fast without wasting too much memory. Memory allocation using lazy ...
Yoo C. Chung, Soo-Mook Moon
120
Voted
AAAI
1993
15 years 4 months ago
Model Simplification by Asymptotic Order of Magnitude Reasoning
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
Kenneth Man-kam Yip