6020 search results - page 630 / 1204 » A New Approach to Model Counting |
202
Voted
HPCS
2006
IEEE
16 years 1 months ago
2006
IEEE
An eXtensible Markup Language (XML) based data model for the Global Geodynamics Project (GGP) has been previously developed. Mindful of the need to incorporate metadata into the d...
203
Voted
CP
2004
Springer
16 years 21 days ago
2004
Springer
In CP literature combinatorial design problems such as sport scheduling, Steiner systems, error-correcting codes and more, are typically solved using Finite Domain (FD) models desp...
166
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
The finite element method is applied to generate primitives that build continuous deformable shapes designed to support a new free-form modeling paradigm. The primitives autonomou...
205
Voted
IJCAI
2003
15 years 8 months ago
2003
The problem of deriving joint policies for a group of agents that maximize some joint reward function can be modeled as a decentralized partially observable Markov decision proces...
188
click to vote
ADHOC
2008
15 years 7 months ago
2008
In this paper, we present a secure group key management scheme for hierarchical mobile ad-hoc networks. Our approach aims to improve both scalability and survivability of group ke...