9305 search results - page 1578 / 1861 » Modeling Blog Dynamics |
133
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
167
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
177
click to vote
CLUSTER
2009
IEEE
16 years 1 months ago
2009
IEEE
—Multicluster grids provide one promising solution to satisfying growing computation demands of compute-intensive applications by collaborating various networked clusters. Howeve...
181
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
Understanding the human gait is an important objective towards improving elderly mobility. In turn, gait analyses largely depend on kinematic and dynamic measurements. While the m...
157
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In online social networks (OSNs), user connections can be represented as a network. The network formed has distinct properties that distinguish it from other network topologies....