549 search results - page 109 / 110 » Verification condition generation for conditional informatio... |
76
Voted
ICMLC
2010
Springer
14 years 8 months ago
2010
Springer
: Facing the 21st century the age of exploration-increasing of all kinds of knowledge and quickly development of information, how to promote the competition potential of our citize...
TVCG
2012
13 years 17 days ago
2012
—Effective three-dimensional streamline placement and visualization plays an essential role in many science and engineering disciplines. The main challenge for effective streamli...
SENSYS
2003
ACM
15 years 3 months ago
2003
ACM
We consider dense wireless sensor networks deployed to observe arbitrary random fields. The requirement is to reconstruct an estimate of the random field at a certain collector ...
EVOW
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. This work presents scale invariant region detectors that apply evolved operators to extract an interest measure. We evaluate operators using their repeatability rate, and...
98
Voted
BMCBI
2010
14 years 10 months ago
2010
Background: DNA microarrays provide an efficient method for measuring activity of genes in parallel and even covering all the known transcripts of an organism on a single array. T...