11168 search results - page 1592 / 2234 » Abstract State Processes |
172
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The problem of defining robot behaviors to completely address a large and complex set of situations is very challenging. We present an approach for robot's action se...
163
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
163
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a novel tool flow combining rewriting logic with hardware synthesis. It enables the automated generation of synthesizable VHDL code from mathematical equations...
153
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. To investigate the structure of the genomic interaction network built from yeast gene-expression compendium dataset of hundreds of systematic perturbations, social affili...
184
click to vote
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
AbstractSpam, the electronic equivalent of junk mail, affects over 600 million users worldwide. Even as anti-spam solutions change to limit the amount of spam sent to users, the se...