2111 search results - page 253 / 423 » How to Program Pervasive Systems |
198
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
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...
179
click to vote
ECML
1998
Springer
15 years 11 months ago
1998
Springer
: 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...
195
click to vote
ISMIS
1993
Springer
15 years 11 months ago
1993
Springer
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...
197
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
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 ...
172
click to vote
AAAI
1993
15 years 8 months ago
1993
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...