3096 search results - page 402 / 620 » Theory and Use of the EM Algorithm |
173
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
180
click to vote
ITCC
2005
IEEE
16 years 3 days ago
2005
IEEE
Declustering techniques reduce query response times through parallel I/O by distributing data among multiple devices. Most of the research on declustering is targeted at spatial r...
228
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
In the Internet today, traffic management spans congestion control (at end hosts), routing protocols (on routers), and traffic engineering (by network operators). Historically, th...
189
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
166
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
In recent years, there has been an explosion of publicly available RDF and OWL data sources. In order to effectively and quickly answer queries in such an environment, we present...