6274 search results - page 953 / 1255 » Proofs, Programs, Processes |
125
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
101
click to vote
ICDS
2009
IEEE
15 years 10 months ago
2009
IEEE
Existing traffic flow modeling theory lacks of guidelines to construct traffic flow models from scratch. In addition, traffic flow models are mainly analyzed with computer simulat...
130
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Battery Exhaustion Attack is a “denial of service” attack on mobile devices, causing more battery discharge than normally necessary. The excessive discharge arises out of the ...
131
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a system that detects human falls in the home environment, distinguishing them from competing noise, by using only the audio signal from a single far-field microphone....
132
click to vote
ICTA
2009
IEEE
15 years 10 months ago
2009
IEEE
1 WCAG 2.0 (W3C Recommendation 11 Dec. 2008) recommendation includes a specific guideline regarding the readability of text contents. This paper presents an approach to adapt text ...