3172 search results - page 616 / 635 » Combining Specification Techniques for Processes, Data and T... |
143
click to vote
VLDB
2007
ACM
16 years 2 days ago
2007
ACM
The popularity of blogs has been increasing dramatically over the last couple of years. As topics evolve in the blogosphere, keywords align together and form the heart of various ...
161
click to vote
KI
2001
Springer
15 years 10 months ago
2001
Springer
The paper presents a new technique for extracting symbolic ground facts out of the sensor data stream in autonomous robots for use under hybrid control architectures, which compris...
171
click to vote
VLSID
2001
IEEE
16 years 6 months ago
2001
IEEE
In this paper, we propose a new transparent built-in self-test ( TBIST ) method to test multiple embedded memory arrays with various sizes in parallel. First, a new transparent tes...
168
click to vote
AINA
2004
IEEE
15 years 9 months ago
2004
IEEE
Abstract-- As intrusion detection essentially can be formulated as a binary classification problem, it thus can be solved by an effective classification technique-Support Vector Ma...
154
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Event sequences where different types of events often occur close together arise, e.g., when studying potential transcription factor binding sites (TFBS, events) of ce...