4041 search results - page 56 / 809 » time 2009 |
162
click to vote
HT
2009
ACM
15 years 11 months ago
2009
ACM
This paper develops a probabilistic framework that can model and predict group activity over time on online social media. Users of social media sites such as Flickr often face the...
184
click to vote
DALT
2009
Springer
15 years 9 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
164
click to vote
DGCI
2009
Springer
15 years 9 months ago
2009
Springer
For discrete sets coded by the Freeman chain describing their contour, several linear algorithms have been designed for determining their shape properties. Most of them are based ...
170
click to vote
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, we present a novel method to construct nonbinary irregular LDPC codes whose parity check matrix has only column weights of 2 and t, where t ≥ 3. The constructed...
183
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...