1743 search results - page 203 / 349 » Generalized Modal Satisfiability |
161
Voted
TITS
2011
14 years 10 months ago
2011
Abstract—Over the last few years, electronic vehicle guidance systems have become increasingly more popular. However, despite their ubiquity, performance will always be subject t...
155
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Acoustic event detection (AED) aims to identify both timestamps and types of multiple events and has been found to be very challenging. The cues for these events often times exist...
135
Voted
CHI
2011
ACM
14 years 7 months ago
2011
ACM
Touch sensing and computer vision have made humancomputer interaction possible in environments where keyboards, mice, or other handheld implements are not available or desirable. ...
259
Voted
HUC
2011
Springer
14 years 3 months ago
2011
Springer
The widespread adoption of automated fare collection (AFC) systems by public transport authorities around the world means that, increasingly, people carry and use passive sensors ...
179
Voted
PLPV
2012
ACM
13 years 11 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...