388 search results - page 67 / 78 » Quantifying Similarities Between Timed Systems |
ICAIL
2003
ACM
14 years 1 months ago
2003
ACM
In the last decades the interest in the problem of comparing and harmonizing legislation has been steadily increasing. One reason is the increasing legal convergence between gover...
BMCBI
2006
13 years 8 months ago
2006
Background: Reverse-engineering regulatory networks is one of the central challenges for computational biology. Many techniques have been developed to accomplish this by utilizing...
SSDBM
2008
IEEE
14 years 3 months ago
2008
IEEE
Increasingly, many data sources appear as online databases, hidden behind query forms, thus forming what is referred to as the deep web. It is desirable to have systems that can pr...
SIGCOMM
2012
ACM
11 years 11 months ago
2012
ACM
This paper introduces CarSpeak, a communication system for autonomous driving. CarSpeak enables a car to query and access sensory information captured by other cars in a manner si...
IPPS
1998
IEEE
14 years 26 days ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...