6020 search results - page 362 / 1204 » A New Approach to Model Counting |
233
click to vote
MMM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Can we discover audio-visually consistent events from videos in a totally unsupervised manner? And, how to mine videos with different genres? In this paper we present our...
198
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
To create a realistic environment, some simulations require simulated agents with human behavior pattern. Creating such agents with realistic behavior can be a tedious and time con...
156
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Electronic commerce (e-commerce) covers a wide range of business transactions. Usually, a transactions includes products, i.e. goods or services. Often, e-commerce websites are int...
169
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
219
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— This paper describes an efficient method for retrieving the 3-dimensional shape associated to novelties in the environment of an autonomous robot, which is equipped wi...