4190 search results - page 216 / 838 » Type Class Directives |
162
click to vote
SIGMOD
1995
ACM
15 years 8 months ago
1995
ACM
Text is a pervasive information type, and many applications require querying over text sources in addition to structured data. This paper studies the problem of query processing i...
153
click to vote
WSC
2007
15 years 6 months ago
2007
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary P...
135
click to vote
ORDER
2010
15 years 2 months ago
2010
Let P be the ordered set of isomorphism types of finite ordered sets (posets), where the ordering is by embeddability. We study first-order definability in this ordered set. We ...
126
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Direct sequence spread spectrum (DSSS) technique has been widely used in both military communications and commercial communications. On the other hand, it is a challenge to both...
137
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...