917 search results - page 134 / 184 » The Generalized Trace-Norm and its Application to Structure-... |
SIGMOD
2010
ACM
14 years 25 days ago
2010
ACM
Parameterized queries are commonly used in database applications. In a parameterized query, the same SQL statement is potentially executed multiple times with different parameter ...
CSL
1999
Springer
14 years 9 days ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
HPDC
1993
IEEE
14 years 5 days ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
ECML
1998
Springer
14 years 1 days ago
1998
Springer
Previous bias shift approaches to predicate invention are not applicable to learning from positive examples only, if a complete hypothesis can be found in the given language, as ne...
DAC
2010
ACM
13 years 12 months ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...