1547 search results - page 191 / 310 » The Isabelle Collections Framework |
109
click to vote
COMPUTER
2004
15 years 18 days ago
2004
The growth of ubiquitous computing has given rise to a range of possibilities for context-based application development. Technologies for mobile computing and context-awareness can...
ENTCS
2000
15 years 17 days ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
138
Voted
JASIS
2000
15 years 16 days ago
2000
To aid designers of digital library interfaces, we present a framework for the design of information representations in terms of previews and overviews. Previews and overviews are...
CMOT
1999
15 years 13 days ago
1999
We propose a class of actor-oriented statistical models for closed social networks in general, and friendship networks in particular. The models are random utility models develope...
111
click to vote
TOG
2002
15 years 11 days ago
2002
There are many applications that demand large quantities of natural looking motion. It is difficult to synthesize motion that looks natural, particularly when it is people who mus...