2555 search results - page 208 / 511 » Quantifiers and Working Memory |
151
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
- This paper suggests that since web browsing is an interactive process and downloading a web page can take several seconds to several minutes over slow links, the information pres...
159
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
177
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
We introduce a new performance metric, called Load Balancing Factor (LBF), to assist programmers with evaluating different tuning alternatives. The LBF metric differs from traditi...
158
click to vote
MICCAI
1998
Springer
15 years 10 months ago
1998
Springer
The goals of this work were to (i) establish a method for building subject-specific biomechanical models from medical image data, (ii) construct a subject-specific model of the elb...
158
click to vote
WETICE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents semantic approach for a solution of the problem of interoperability for virtual worlds. The semantic of virtual worlds and virtual entities is described using ...