506 search results - page 37 / 102 » Proving Properties about Lists Using Containers |
CDC
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper studies the infinite-horizon sensor scheduling problem for linear Gaussian processes with linear measurement functions. Several important properties of the optimal infin...
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
102
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
111
click to vote
HPDC
1994
IEEE
15 years 1 months ago
1994
IEEE
Finding genes unequivocally in DNA sequences is one of the key goals of the Human Genome project. The human genome is a 9 billion character long DNA sequence and is estimated to c...
ESI
2010
14 years 8 months ago
2010
—Seismic Data Server Application Service (SDSAS) is developed on the SEEGRID infrastructure in order to serve massive seismic data that are archived from national seismology cent...