5863 search results - page 1098 / 1173 » On Model-Checking of P Systems |
131
Voted
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
We carry out attacks using Internet services that aim to keep telephone devices busy, hindering legitimate callers from gaining access. We use the term DIAL (Digitally Initiated A...
123
Voted
AES
2007
Springer
15 years 3 months ago
2007
Springer
This paper deals with the numerical simulation of flows of stratified fluids through channels with irregular geometry. Channel crosssections are supposed to be symmetric but no...
150
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Increasing numbers of mobile computing devices, user-portable, or embedded in vehicles, cargo containers, or the physical space, need to be aware of their location in order to prov...
133
Voted
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Enriching speech recognition output with sentence boundaries improves its human readability and enables further processing by downstream language processing modules. We have const...
149
Voted
CSL
2006
Springer
15 years 3 months ago
2006
Springer
Support vector machines (SVMs) have proven to be a powerful technique for pattern classification. SVMs map inputs into a high dimensional space and then separate classes with a hy...