3413 search results - page 568 / 683 » New Support Vector Algorithms |
131
click to vote
LPAR
2005
Springer
15 years 7 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
116
click to vote
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
The interaction between recursion in XPATH and recursion in DTDs makes it challenging to answer XPATH queries on XML data that is stored in an RDBMS via schema-based shredding. We...
108
click to vote
DIALM
2004
ACM
15 years 7 months ago
2004
ACM
Orthogonal Variable Spreading Factor (OVSF) CDMA code consists of an infinite number of codewords with variable rates, in contrast to the conventional orthogonal fixed-spreading...
122
Voted
GRID
2004
Springer
15 years 7 months ago
2004
Springer
With the advent of Grid computing, more and more highend computational resources become available for use to a scientist. While this opens up new avenues for scientific research,...
160
click to vote
IMR
2004
Springer
15 years 7 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...