6704 search results - page 448 / 1341 » Testing Scenario-Based Models |
181
click to vote
FOSSACS
2008
Springer
15 years 8 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...
168
click to vote
NIPS
2007
15 years 8 months ago
2007
Maximum entropy analysis of binary variables provides an elegant way for studying the role of pairwise correlations in neural populations. Unfortunately, these approaches suffer f...
179
click to vote
IMAGING
2004
15 years 8 months ago
2004
Multispectral printer characterization requires an effective model to map printer input digital counts into reflectance spectra and vice versa. This paper presents a novel strateg...
143
click to vote
WSC
2004
15 years 8 months ago
2004
Current treatment of HIV patients is based on various guidelines that have changed with the advent of newer antiretroviral therapies and the emergence of resistance to them. Howev...
199
click to vote
IJCAI
1997
15 years 8 months ago
1997
Psychological experiments on children's development of spatial knowledge suggest experience at self-locomotion with visual tracking as important factors. Yet, the mechanism u...