Sciweavers

2316 search results - page 70 / 464
» The many forms of hypercomputation
Sort
View
CSL
2003
Springer
15 years 9 months ago
Simple Stochastic Parity Games
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A...
125
Voted
POPL
2000
ACM
15 years 8 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach
137
Voted
ADBIS
2000
Springer
111views Database» more  ADBIS 2000»
15 years 8 months ago
Discovering Frequent Episodes in Sequences of Complex Events
Data collected in many applications have a form of sequences of events. One of the popular data mining problems is discovery of frequently occurring episodes in such sequences. Eff...
Marek Wojciechowski
UIST
1999
ACM
15 years 8 months ago
PeopleGarden: Creating Data Portraits for Users
Many on-line interaction environments have a large number of users. It is difficult for the participants, especially new ones, to form a clear mental image about those with whom t...
Rebecca Xiong, Judith S. Donath
ISW
1999
Springer
15 years 8 months ago
Region-Based Watermarking for Images
There is a spate of research activities investigating digital image watermarking schemes in an effort to control the problem of illegal proliferation of creative digital data acros...
Gareth Brisbane, Reihaneh Safavi-Naini, Philip Ogu...