1755 search results - page 160 / 351 » An efficient simulation algorithm based on abstract interpre... |
127
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
XML is widely praised for its flexibility in allowing repeated and missing sub-elements. However, this flexibility makes it challenging to develop a bulk algebra, which typically ...
129
click to vote
ICIP
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract--We consider the problem of coding images for transmission over error-prone channels. The impairments we target are transient channel shutdowns, as would occur in a packet...
147
click to vote
CIIA
2009
15 years 4 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
124
click to vote
AINA
2010
IEEE
15 years 8 months ago
2010
IEEE
—Network Intrusion Detection System (NIDS) is a system which can detect network attacks resulted from worms and viruses on the Internet. An efficient pattern matching algorithm p...
146
Voted
ICRA
1999
IEEE
15 years 7 months ago
1999
IEEE
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...