550 search results - page 95 / 110 » A lightweight approach to state based security testing |
177
click to vote
DSN
2011
IEEE
14 years 1 months ago
2011
IEEE
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
142
Voted
AIHC
2007
Springer
15 years 8 months ago
2007
Springer
Enabling machines to understand emotions and feelings of the human users in their natural language textual input during interaction is a challenging issue in Human Computing. Our w...
127
Voted
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...
100
Voted
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
This paper considers the problem of Multi-Geography Route Planning (MGRP) where the geographical information may be spread over multiple heterogeneous interconnected maps. We firs...
119
click to vote
EMNLP
2008
15 years 3 months ago
2008
To improve the Mandarin large vocabulary continuous speech recognition (LVCSR), a unified framework based approach is introduced to exploit multi-level linguistic knowledge. In th...