4502 search results - page 865 / 901 » Regular Model Checking |
186
click to vote
VLDB
2007
ACM
16 years 22 days ago
2007
ACM
Several recent papers have focused on OLAP over imprecise data, where each fact can be a region, instead of a point, in a multidimensional space. They have provided a multiple-wor...
115
Voted
EWSN
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose a model for communication in single-hop wireless sensor networks and define and evaluate the performance of a robust, energy balanced protocol for a powerful a...
139
Voted
WWW
2010
ACM
15 years 7 months ago
2010
ACM
Extracting semantic relations among entities is an important first step in various tasks in Web mining and natural language processing such as information extraction, relation de...
112
click to vote
KDD
2009
ACM
15 years 7 months ago
2009
ACM
Max-margin Markov networks (M3 N) have shown great promise in structured prediction and relational learning. Due to the KKT conditions, the M3 N enjoys dual sparsity. However, the...
108
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we present a model which allows to co-evolve the morphology and the control system of realistically simulated robots (creatures). The method proposed is based on a...