1564 search results - page 34 / 313 » Extensions to the Estimation Calculus |
103
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
We present a new wideband spectral envelope estimation framework for the artificial bandwidth extension problem. The proposed framework builds temporal clusters of the joint sub-...
118
click to vote
TACAS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
152
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
113
click to vote
TABLEAUX
2007
Springer
15 years 8 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...
102
click to vote
KES
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents an intelligent traffic light control method based on extension neural network (ENN) theory for crossroads. First, the number of passing vehicles and passing tim...