626 search results - page 90 / 126 » When Can Formal Methods Make a Real Difference |
164
click to vote
PKDD
2009
Springer
15 years 8 months ago
2009
Springer
Monitoring the variables of real world dynamic systems is a difficult task due to their inherent complexity and uncertainty. Particle Filters (PF) perform that task, yielding prob...
113
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Extracellular recording of neural signals records the action potentials (known as spikes) of neurons adjacent to the electrode as well as the noise generated by the overall neural...
128
Voted
COLING
2010
14 years 10 months ago
2010
Temporal expressions in texts contain significant temporal information. Understanding temporal information is very useful in many NLP applications, such as information extraction,...
148
Voted
ICMLA
2010
15 years 1 months ago
2010
Reinforcement learning algorithms that employ neural networks as function approximators have proven to be powerful tools for solving optimal control problems. However, their traini...
124
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...