612 search results - page 99 / 123 » Bounded model checking for knowledge and real time |
100
click to vote
BIOCOMP
2008
14 years 11 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
JCIT
2008
14 years 9 months ago
2008
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...
91
Voted
WG
2010
Springer
14 years 8 months ago
2010
Springer
Cluster Editing is a classical graph theoretic approach to tackle the problem of data set clustering: it consists of modifying a similarity graph into a disjoint union of cliques,...
113
click to vote
EDBT
1998
ACM
15 years 1 months ago
1998
ACM
Abstract. In this paper, we propose a new bulk-loading technique for high-dimensional indexes which represent an important component of multimedia database systems. Since it is ver...
PE
2002
Springer
14 years 9 months ago
2002
Springer
This work addresses the resource sharing problem in broadband communication networks that can guarantee some quality of service (QoS), and develops some results about data source ...