11212 search results - page 1850 / 2243 » Semi-persistent Data Structures |
183
click to vote
SEMWEB
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. RDF Graphs are sets of assertions in the form of subjectpredicate-object triples of information resources. Although for simple examples they can be understood intuitively...
145
click to vote
SIGADA
2004
Springer
16 years 2 days ago
2004
Springer
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
158
click to vote
SSPR
2004
Springer
16 years 2 days ago
2004
Springer
Most machine learning algorithms are designed either for supervised or for unsupervised learning, notably classification and clustering. Practical problems in bioinformatics and i...
175
click to vote
VECPAR
2004
Springer
16 years 2 days ago
2004
Springer
The deployment of biomedical applications in a grid environment has started about three years ago in several European projects and national initiatives. These applications have dem...
175
click to vote
VMCAI
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...