Sciweavers

5423 search results - page 300 / 1085
» Denial-of-service in automation systems
Sort
View
IDA
2010
Springer
15 years 1 months ago
Fingerprint classification based on subclass analysis using multiple templates of support vector machines
Fingerprint classification reduces the searching time of an automated fingerprint identification system. Since fingerprints have properties of intra-class diversities and inter-cla...
Jun-Ki Min, Jin-Hyuk Hong, Sung-Bae Cho
FROCOS
2011
Springer
14 years 6 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
AAAI
2012
13 years 9 months ago
Real-Time Collaborative Planning with the Crowd
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...
Walter S. Lasecki, Jeffrey P. Bigham, James F. All...
IFIP13
2004
15 years 8 months ago
Analysing Dynamic Function Scheduling Decisions
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
Karsten Loer, Michael Hildebrandt, Michael D. Harr...
CSL
2008
Springer
15 years 6 months ago
Applying an analysis of acted vocal emotions to improve the simulation of synthetic speech
: All speech produced by humans includes information about the speaker, including conveying the emotional state of the speaker. It is thus desirable to include vocal affect in any ...
Iain R. Murray, John L. Arnott