3745 search results - page 350 / 749 » Sonic: System Description |
250
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Modern storage systems are sophisticated. Simple directattached storage devices are giving way to storage systems that are shared, flexible, virtualized and network-attached. Toda...
213
click to vote
BIRTHDAY
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
206
click to vote
MCS
2008
Springer
15 years 6 months ago
2008
Springer
In the stability study of nonlinear systems, not to found feasible solution for the LMI problem associated with a quadratic Lyapunov function shows that it doesn't exist posi...
153
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
We explore the situation in which documents have to be categorized into more than one category system, a situation we refer to as multiple-view categorization. More particularly, ...
189
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
– Keyword search (KWS) over relational data, where the answers are multiple tuples connected via joins, has received significant attention in the past decade. Numerous solutions ...