2501 search results - page 118 / 501 » Logics with Rank Operators |
130
click to vote
AMAST
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...
134
click to vote
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
This study describes experiments on automatic detection of semantic concepts, which are textual descriptions about the digital video content. The concepts can be further used in c...
105
click to vote
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
: The use of patterns in data management is not new: in data warehousing, data marts are simple conceptual schemas with exactly one core entity, describing facts, surrounded by mul...
116
click to vote
PRL
2007
15 years 13 days ago
2007
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...
106
click to vote
IACR
2011
14 years 17 days ago
2011
Abstract. Square is a multivariate quadratic encryption scheme proposed in 2009. It is a specialization of Hidden Field Equations by using only odd characteristic elds and also X2...