Sciweavers

19130 search results - page 3358 / 3826
» Modelling multi-path problems
Sort
View
ISSAC
1997
Springer
142views Mathematics» more  ISSAC 1997»
15 years 9 months ago
The Structure of Sparse Resultant Matrices
Resultants characterize the existence of roots of systems of multivariate nonlinear polynomial equations, while their matrices reduce the computation of all common zeros to a prob...
Ioannis Z. Emiris, Victor Y. Pan
KDD
1997
ACM
111views Data Mining» more  KDD 1997»
15 years 9 months ago
SIPping from the Data Firehose
When mining large databases, the data extraction problem and the interface between the database and data mining algorithm become important issues. Rather than giving a mining algo...
George H. John, Brian Lent
245
Voted
FOCS
1993
IEEE
15 years 9 months ago
Simulated Annealing for Graph Bisection
We resolve in the a rmative a question of Boppana and Bui: whether simulated annealing can, with high probability and in polynomial time, nd the optimal bisection of a random grap...
Mark Jerrum, Gregory B. Sorkin
152
Voted
MICRO
1994
IEEE
123views Hardware» more  MICRO 1994»
15 years 9 months ago
The effects of predicated execution on branch prediction
High performance architectures have always had to deal with the performance-limiting impact of branch operations. Microprocessor designs are going to have to deal with this proble...
Gary S. Tyson
194
Voted
CAV
1994
Springer
113views Hardware» more  CAV 1994»
15 years 9 months ago
A Determinizable Class of Timed Automata
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
Rajeev Alur, Limor Fix, Thomas A. Henzinger
« Prev « First page 3358 / 3826 Last » Next »