Sciweavers

189 search results - page 23 / 38
» Finding algorithms in scientific articles
Sort
View
IPL
2008
131views more  IPL 2008»
13 years 7 months ago
Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in co...
J. Francisco Chicano, Enrique Alba
CAD
1999
Springer
13 years 7 months ago
The intersection of two ruled surfaces
This article presents an efficient and robust algorithm that computes the intersection curve of two ruled surfaces. The surface intersection problem is reformulated as a zero-set ...
Hee-Seok Heo, Myung-Soo Kim, Gershon Elber
ICWSM
2009
13 years 5 months ago
Event Detection and Tracking in Social Streams
Events and stories can be characterized by a set of descriptive, collocated keywords. Intuitively, documents describing the same event will contain similar sets of keywords, and t...
Hassan Sayyadi, Matthew Hurst, Alexey Maykov
VLDB
2001
ACM
168views Database» more  VLDB 2001»
14 years 7 months ago
Answering queries using views: A survey
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...
Alon Y. Halevy
TALG
2010
158views more  TALG 2010»
13 years 2 months ago
Clustering for metric and nonmetric distance measures
We study a generalization of the k-median problem with respect to an arbitrary dissimilarity measure D. Given a finite set P of size n, our goal is to find a set C of size k such t...
Marcel R. Ackermann, Johannes Blömer, Christi...