Sciweavers

3161 search results - page 56 / 633
» Documenting framework behavior
Sort
View
143
Voted
SIGIR
2005
ACM
15 years 8 months ago
A phonotactic-semantic paradigm for automatic spoken document classification
We demonstrate a phonotactic-semantic paradigm for spoken document categorization. In this framework, we define a set of acoustic words instead of lexical words to represent acous...
Bin Ma, Haizhou Li
128
Voted
LAWEB
2006
IEEE
15 years 8 months ago
Analysis of Web Search Engine Clicked Documents
In this paper we process and analyze web search engine query and click data from the perspective of the documents (URL’s) selected. We initially define possible document categor...
David F. Nettleton, Liliana Calderón-Benavi...
115
Voted
PLANX
2008
15 years 4 months ago
Static Analysis for Event-Based XML Processing
Event-based processing of XML data
Anders Møller
144
Voted
DAC
2003
ACM
16 years 3 months ago
Behavioral consistency of C and verilog programs using bounded model checking
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
147
Voted
KDD
2002
ACM
112views Data Mining» more  KDD 2002»
16 years 2 months ago
From run-time behavior to usage scenarios: an interaction-pattern mining approach
A key challenge facing IT organizations today is their evolution towards adopting e-business practices that gives rise to the need for reengineering their underlying software syst...
Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenso...