7167 search results - page 1211 / 1434 » A Technique for Invariant Generation |
237
click to vote
ICMCS
2009
IEEE
15 years 5 months ago
2009
IEEE
Augmented Virtual Environments(AVE) are very effective in the application of surveillance, in which multiple video streams are projected onto a 3D urban model for better visualiza...
245
click to vote
ICMLA
2009
15 years 5 months ago
2009
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
211
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Query reformulation modifies the original query with the aim of better matching the vocabulary of the relevant documents, and consequently improving ranking effectiveness. Previou...
216
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Mining association rules is a task of data mining, which extracts knowledge in the form of significant implication relation of useful items (objects) from a database. Mining multi...
188
click to vote
FUIN
2010
15 years 4 months ago
2010
Fast plan adaptation is important in many AI-applications. From a theoretical point of view, in the worst case adapting an existing plan to solve a new problem is no more efficien...