Sciweavers

9387 search results - page 1705 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
15 years 7 months ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
CIVR
2006
Springer
201views Image Analysis» more  CIVR 2006»
15 years 7 months ago
Efficient Margin-Based Rank Learning Algorithms for Information Retrieval
Learning a good ranking function plays a key role for many applications including the task of (multimedia) information retrieval. While there are a few rank learning methods availa...
Rong Yan, Alexander G. Hauptmann
KDD
1995
ACM
108views Data Mining» more  KDD 1995»
15 years 7 months ago
A Statistical Perspective On Knowledge Discovery In Databases
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
John F. Elder IV, Daryl Pregibon
USS
2008
15 years 6 months ago
Multi-flow Attacks Against Network Flow Watermarking Schemes
We analyze several recent schemes for watermarking network flows based on splitting the flow into intervals. We show that this approach creates time dependent correlations that en...
Negar Kiyavash, Amir Houmansadr, Nikita Borisov
WSC
2008
15 years 6 months ago
Reducing Emergency Department overcrowding - five patient buffer concepts in comparison
Emergency Department (ED) overcrowding is a common medical care issue in the United States and other developed nations. One major cause of ED crowding are holding patients waiting...
Erik Michael Wilhelm Kolb, Jordan Peck, Sebastian ...
« Prev « First page 1705 / 1878 Last » Next »