12487 search results - page 342 / 2498 » Graspable Work Modeling |
120
click to vote
EPIA
2007
Springer
15 years 11 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
122
Voted
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
126
Voted
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
In previous work, we have defined conceptual foundations that can be beneficially used in context modeling. These conceptual foundations include the separation of entity and conte...
143
Voted
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this work we present a novel two-layer hybrid Graphical model for combined shot and scene boundary detection in videos. In the first layer of the model, low-level features are...
134
Voted
NETGAMES
2006
ACM
15 years 11 months ago
2006
ACM
— A practical pricing mechanism is the foundation for the deploying of IP multicast in the inter-domain Internet. The IP multicast service model and its pricing mechanism are dis...