12289 search results - page 1666 / 2458 » computing 2006 |
173
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Text Categorization algorithms have a large number of parameters that determine their behaviour, whose effect is not easily predicted objectively or intuitively and may v...
193
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
Secure routing in wireless sensor networks (WSN) is a crucial problem that has drawn the attention of researchers. The motivation for tackling this problem comes directly from the...
202
click to vote
OZCHI
2006
ACM
16 years 1 months ago
2006
ACM
While apart, couples can verbally and visually communicate through existing technologies such as mobile phones, text messaging, videoconferencing and email. Yet, other important m...
206
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
206
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...