10293 search results - page 1666 / 2059 » Describing Semistructured Data |
164
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
181
click to vote
SSDBM
1998
IEEE
15 years 11 months ago
1998
IEEE
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
169
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
Real-time rendering of triangulated surfaces has attracted growing interest in the last few years. However, interactive visualization of very large scale grid digital elevation mo...
158
click to vote
ALT
1998
Springer
15 years 11 months ago
1998
Springer
Learning from positive examples occurs very frequently in natural learning. The PAC learning model of Valiant takes many features of natural learning into account, but in most case...
173
click to vote
CANPC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Modern networks of workstations connected by Gigabit networks have the ability to run high-performance computing applications at a reasonable performance, but at a signi ...