19700 search results - page 143 / 3940 » DNA-Based Computation Times |
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
101
click to vote
JCNS
2000
15 years 23 days ago
2000
Abstract. The electrosensory lateral line lobe (ELL) of mormyridelectric sh is a cerebellum-likestructure that receives primarya erent input from electroreceptors in the skin. Purk...
115
click to vote
JSS
2000
15 years 22 days ago
2000
Rapid advances in mobile communication technology have spawned many new mobile applications. A key element in many of these systems is the need to distribute real-time information...
123
click to vote
APIN
1998
15 years 20 days ago
1998
Object localization has applications in many areas of engineering and science. The goal is to spatially locate an arbitrarily-shaped object. In many applications, it is desirable ...
111
click to vote
MIAR
2010
IEEE
14 years 11 months ago
2010
IEEE
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...