1937 search results - page 375 / 388 » Rule Based Updates on Simple Knowledge Bases |
122
Voted
TMM
2002
15 years 1 months ago
2002
In this paper, we present a computational scene model and also derive novel algorithms for computing audio and visual scenes and within-scene structures in films. We use constraint...
142
Voted
SODA
2010
ACM
15 years 5 days ago
2010
ACM
We present an exact algorithm that decides, for every fixed r ≥ 2 in time O(m) + 2O(k2 ) whether a given multiset of m clauses of size r admits a truth assignment that satisfi...
136
click to vote
SP
2010
IEEE
14 years 11 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
122
Voted
IJDET
2010
14 years 11 months ago
2010
: Existing adaptive e-learning methods are supported by student (user) profiling for capturing student characteristics, and course structuring for organizing learning materials acc...
139
click to vote
ICDCS
2011
IEEE
14 years 1 months ago
2011
IEEE
— MapReduce has become an effective approach to big data analytics in large cluster systems, where SQL-like queries play important roles to interface between users and systems. H...