24105 search results - page 4719 / 4821 » Models in Information Retrieval |
141
click to vote
CDVE
2007
Springer
15 years 10 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
135
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of co...
127
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
We consider the k-layer pointer jumping problem in the one-way multi-party number-on-the-forehead communication model. Sufficiently strong lower bounds for the problem would have...
141
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
124
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Multiple dispatch – the selection of a function to be invoked based on the dynamic type of two or more arguments – is a solution to several classical problems in object-orient...