7064 search results - page 339 / 1413 » From States to Histories |
190
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Little research exists on one of the most common, oldest, and most utilized forms of online social geographic information: the “location” field found in most virtual community...
159
click to vote
ACSD
2006
IEEE
16 years 28 days ago
2006
IEEE
— When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into small...
180
click to vote
MM
2004
ACM
16 years 8 days ago
2004
ACM
We describe our experimental rhetoric engine Vox Populi that generates biased video-sequences from a repository of video interviews and other related audio-visual web sources. Use...
158
click to vote
LPAR
2001
Springer
15 years 11 months ago
2001
Springer
A simple model of dynamic databases is studied from a modal logic perspecitve. A state α of a database is an atomic update of a state β if at most one atomic statement is evaluat...
192
click to vote
ECBS
2004
IEEE
15 years 10 months ago
2004
IEEE
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...