6020 search results - page 978 / 1204 » A New Approach to Model Counting |
171
click to vote
EDUTAINMENT
2008
Springer
15 years 8 months ago
2008
Springer
Reconstruction of a real tree from scattered scanned points is a new challenge in virtual reality. Although many progresses are made on main branch structures and overall shape of ...
155
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
184
click to vote
AAAI
2010
15 years 7 months ago
2010
Transfer learning aims at reusing the knowledge in some source tasks to improve the learning of a target task. Many transfer learning methods assume that the source tasks and the ...
179
click to vote
LREC
2008
15 years 7 months ago
2008
In the field of Natural Language Processing, in order to work out a thematic representation system of general knowledge, methods relying on thesaurus have been used for about twen...
196
click to vote
SDM
2007
SIAM
15 years 7 months ago
2007
SIAM
Local pattern mining algorithms generate sets of patterns, which are typically not directly useful and have to be further processed before actual application or interpretation. Ra...