8828 search results - page 237 / 1766 » Formal methods in practice |
193
click to vote
CPM
2006
Springer
15 years 9 months ago
2006
Springer
The Range-Minimum-Query-Problem is to preprocess an array such that the position of the minimum element between two specified indices can be obtained efficiently. We present a dire...
149
click to vote
INTERACT
2003
15 years 7 months ago
2003
Abstract: Field studies and user requirements analysis are highly valued practices in the human-computer interaction community. However, in companies, field study methods are not w...
158
click to vote
ISMB
2000
15 years 7 months ago
2000
The next phase of human genomics will involve largescale screens of populations for signi cant DNA polymorphisms, notably single nucleotide polymorphisms SNP's. Dense human S...
139
click to vote
IJAR
2007
15 years 5 months ago
2007
The AIS-BN algorithm [2] is a successful importance sampling-based algorithm for Bayesian networks that relies on two heuristic methods to obtain an initial importance function: -...
168
click to vote
ITIIS
2010
15 years 4 months ago
2010
Data routing in wireless sensor networks must be energy-efficient because tiny sensor nodes have limited power. A cluster-based hierarchical routing is known to be more efficient ...