4460 search results - page 223 / 892 » Formal methods for interactive systems |
140
Voted
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Digital government is a complex organizational and social phenomenon. It involves technical, organizational, and policy elements, as well as their complex and recursive interactio...
122
click to vote
KDD
2002
ACM
16 years 5 months ago
2002
ACM
Deduplication is a key operation in integrating data from multiple sources. The main challenge in this task is designing a function that can resolve when a pair of records refer t...
151
Voted
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Currently, there is an increasing effort to provide various personalized services on museum web sites. This paper presents an approach for determining user interests in a museum c...
132
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
150
click to vote
AIME
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...