2850 search results - page 73 / 570 » On Timed Models and Full Abstraction |
160
click to vote
HIPC
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Wireless technology is becoming an attractive mode of communication for real-time applications in typical settings such as in an industrial setup because of the tremendou...
225
click to vote
TASLP
2011
15 years 1 months ago
2011
Abstract—The shifted delta cepstrum (SDC) is a widely used feature extraction for language recognition (LRE). With a high context width due to incorporation of multiple frames, S...
160
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We define a framework based on computational logic technology and on a reactive axiomatization of the Event Calculus to formalize the evolution of commitments in time. We...
168
click to vote
IPSN
2009
Springer
16 years 29 days ago
2009
Springer
Data Driven Time Synchronization (DDTS) provides synchronization across sensors by using underlying characteristics of data collected by an embedded sensing system. We apply the c...
176
Voted
EMNLP
2010
15 years 4 months ago
2010
We show that the standard beam-search algorithm can be used as an efficient decoder for the global linear model of Zhang and Clark (2008) for joint word segmentation and POS-taggi...