2555 search results - page 208 / 511 » Quantifiers and Working Memory |
125
Voted
INFOCOM
1999
IEEE
15 years 8 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...
124
Voted
CSL
1999
Springer
15 years 8 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...
140
Voted
ICDCS
1998
IEEE
15 years 8 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...
121
click to vote
MICCAI
1998
Springer
15 years 8 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...
130
Voted
WETICE
1997
IEEE
15 years 8 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 ...