7380 search results - page 362 / 1476 » time 2008 |
167
click to vote
AIML
2008
15 years 8 months ago
2008
We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of satisfiability has recently b...
188
click to vote
BCS
2008
15 years 8 months ago
2008
We propose a defi nition of Cellular Automaton in which links between cells can change during the computation. This is done locally by each cell, which can reach the neighbours of...
111
click to vote
BCSHCI
2008
15 years 8 months ago
2008
The details of forms design often absorb unreasonable amounts of designers' time. For example, where should labels be placed? The recent fashion has been to rightjustify the ...
197
click to vote
BIOSIG
2008
15 years 8 months ago
2008
Abstract: Biometric authentication is often considered to enhance identity verification. The use of biometrics also introduces new challenges to protect the privacy of the subjects...
158
click to vote
CASCON
2008
15 years 8 months ago
2008
The process of recognizing individual handwritten characters is one of classifying curves. Typically, handwriting recognition systems-even "online" systems--require enti...