6318 search results - page 344 / 1264 » Data Leakage Detection |
174
click to vote
ASWC
2009
Springer
15 years 7 months ago
2009
Springer
Aggregating and presenting a wide variety of information pertinent to the biological and pharmacological effects of chemical compounds will be a critical part of 21st century drug ...
184
click to vote
DKE
2008
15 years 6 months ago
2008
The thematic and citation structures of Data and Knowledge Engineering (DKE) (1985-2007) are identified based on text analysis and citation analysis of the bibliographic records o...
216
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
164
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
131
Voted
IJMBL
2010
15 years 4 months ago
2010
: In this paper, we propose an improved context-aware system for supporting to learning Japanese mimicry and onomatopoeia (MIO) using sensor data. In our two previous studies, we p...