11455 search results - page 186 / 2291 » The Rayset and Its Applications |
134
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own ...
184
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
131
click to vote
IJCNN
2007
IEEE
16 years 24 days ago
2007
IEEE
— We present here a hardware–friendly version of the Support Vector Machine (SVM), which is useful to implement its feed–forward phase on limited–resources devices such as ...
187
click to vote
AAIM
2006
Springer
16 years 14 days ago
2006
Springer
We study the subsequence packing problem: given a string T and a collection of strings {Si}, find disjoint subsequences {Ti} of T with maximum total length such that each Ti is a ...
247
click to vote
LCN
1999
IEEE
15 years 10 months ago
1999
IEEE
In a wireless environment, due to topology changes and characteristics of media (interference in radio signals) the bandwidth of a link is unpredictable and possibly very low, the...