Sciweavers

2071 search results - page 304 / 415
» An Empirical Evaluation of LFG-DOP
Sort
View
112
Voted
CAISE
2008
Springer
15 years 2 months ago
On a Quest for Good Process Models: The Cross-Connectivity Metric
Abstract. Business process modeling is an important corporate activity, but the understanding of what constitutes good process models is still rather limited. In this paper, we tur...
Irene T. P. Vanderfeesten, Hajo A. Reijers, Jan Me...
115
Voted
ISSTA
2010
ACM
15 years 2 months ago
Exploiting program dependencies for scalable multiple-path symbolic execution
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
Raúl A. Santelices, Mary Jean Harrold
159
Voted
CICLING
2008
Springer
15 years 2 months ago
Natural Language as the Basis for Meaning Representation and Inference
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
Ido Dagan, Roy Bar-Haim, Idan Szpektor, Iddo Green...
93
Voted
CIKM
2008
Springer
15 years 2 months ago
Generalized inverse document frequency
Inverse document frequency (IDF) is one of the most useful and widely used concepts in information retrieval. There have been various attempts to provide theoretical justification...
Donald Metzler
131
Voted
CCGRID
2005
IEEE
15 years 2 months ago
The Composite Endpoint Protocol (CEP): scalable endpoints for terabit flows
We introduce the Composite Endpoint Protocol (CEP) which efficiently composes a set of transmission elements to support high speed flows which exceed the capabilities of a single...
Eric Weigle, Andrew A. Chien