5550 search results - page 91 / 1110 » Different Approaches to Proof Systems |
164
click to vote
ICDAR
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper describes a mode detection system for online pen input that employs a Bayesian network to combine classification results and context information. Previous monolithic c...
173
click to vote
ACSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
Network-based attacks have become common and sophisticated. For this reason, intrusion detection systems are now shifting their focus from the hosts and their operating systems to...
167
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper studies the connectivity maintenance problem in linear and nonlinear cyclic pursuit, when different control gains are assigned to each agent. Feasibility/infeasibility c...
179
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Several data formats have been developed for large scale biological experiments, using a variety of methodologies. Most data formats contain a mechanism for allowing e...
135
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
The retrieval process in image database systems is inherently different from the retrieval processin traditional (recordoriented)databasesystems.While thelatter canbe consideredan...