3047 search results - page 385 / 610 » A Temporal Consensus Model |
156
click to vote
CEC
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
197
click to vote
NIPS
1992
15 years 7 months ago
1992
Several research groups are implementing analog integrated circuit models of biological auditory processing. The outputs of these circuit models have taken several forms, includin...
168
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
Automatic facial action unit (AU) detection from video is a long-standing problem in computer vision. Two main approaches have been pursued: (1) static modeling--typically posed a...
208
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
179
click to vote
JSAC
2007
15 years 6 months ago
2007
Abstract— Transmit channel side information (CSIT) can significantly increase MIMO wireless capacity. Due to delay in acquiring this information, however, the time-selective fad...