5423 search results - page 824 / 1085 » Denial-of-service in automation systems |
177
click to vote
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
With decreasing costs of high quality surveillance systems, human activity detection and tracking has become increasingly practical. Accordingly, automated systems have been desig...
209
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
169
click to vote
IPSN
2007
Springer
16 years 26 days ago
2007
Springer
Field biologists use animal sounds to discover the presence of individuals and to study their behavior. The recent development of new deployable acoustic sensor platforms presents...
197
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...
159
click to vote
ETFA
2006
IEEE
16 years 23 days ago
2006
IEEE
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...