2061 search results - page 283 / 413 » Authorization for Metacomputing Applications |
118
click to vote
EICS
2010
ACM
15 years 9 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
154
click to vote
WEBDB
2010
Springer
15 years 9 months ago
2010
Springer
The transition of search engine usersā intents has been studied for a long time. The knowledge of intent transition, once discovered, can yield a better understanding of how diļ...
136
click to vote
FOCS
2002
IEEE
15 years 9 months ago
2002
IEEE
We obtain a near-tight bound of O(n3+Īµ ), for any Īµ > 0, on the complexity of the overlay of the minimization diagrams of two collections of surfaces in four dimensions. This...
138
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive deļ¬nitions. The operational semantics is given b...
146
click to vote
ICCHP
2010
Springer
15 years 9 months ago
2010
Springer
Crossing an urban traffic intersection is one of the most dangerous activities of a blind or visually impaired person's travel. Building on past work by the authors on the iss...