8828 search results - page 1745 / 1766 » Formal methods in practice |
INFORMATICALT
2007
14 years 9 months ago
2007
The innovations and improvements in digital imaging sensors and scanners, computer modeling, haptic equipments and e-learning technology, as well as the availability of many powerf...
107
click to vote
TCOM
2008
14 years 9 months ago
2008
This paper proposes a cross-layer optimization framework for the wireless sensor networks. In a wireless sensor network, each sensor makes a local observation of the underlying phy...
102
click to vote
BMCBI
2005
14 years 9 months ago
2005
Background: NemaFootPrinter (Nematode Transcription Factor Scan Through Philogenetic Footprinting) is a web-based software for interactive identification of conserved, non-exonic ...
TMC
2008
14 years 9 months ago
2008
Under a multirate network scenario, the IEEE 802.11 DCF MAC fails to provide airtime fairness for all competing stations since the protocol is designed for ensuring max-min through...
TMI
2008
14 years 9 months ago
2008
We describe the application of a time domain diffuse fluorescence tomography system for whole body small animal imaging. The key features of the system are the use of point excitat...