6020 search results - page 92 / 1204 » A New Approach to Model Counting |
MABS
2004
Springer
15 years 9 months ago
2004
Springer
A new approach is suggested under the slogan “Keep it Descriptive Stupid” (KIDS) that encapsulates a trend in increasingly descriptive agentbased social simulation. The KIDS ap...
116
Voted
CPAIOR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. While several powerful methods exist for automatically detecting symmetries in instances of constraint satisfaction problems (CSPs), current methods for detecting symmetr...
105
click to vote
ECML
1991
Springer
15 years 7 months ago
1991
Springer
This paper presents an approach to domain modeling and knowledge acquisition that consists of a gradual and goal-driven improvement of an incomplete domain model provided by a hum...
119
Voted
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents an object-oriented approach for describing and modelling buildings by means of computer graphics. The approach is based on an object- and component-oriented gr...
140
Voted
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...