11172 search results - page 2023 / 2235 » Testing Physical Systems |
157
click to vote
CRITIS
2007
15 years 6 months ago
2007
We propose and investigate a game-theoretic approach to the malware filtering and detector placement problem which arises in network security. Our main objective is to develop opt...
139
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
132
click to vote
INFOSCALE
2007
ACM
15 years 6 months ago
2007
ACM
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
146
click to vote
ACL
2008
15 years 5 months ago
2008
We address two problems in the field of automatic optimization of dialogue strategies: learning effective dialogue strategies when no initial data or system exists, and evaluating...
152
click to vote
BIOCOMP
2008
15 years 5 months ago
2008
Computational analyses of protein structure-function relationships have traditionally been based on sequence homology, fold family analysis and 3D motifs/templates. Previous struct...