3719 search results - page 112 / 744 » RACER System Description |
141
Voted
CDC
2010
IEEE
15 years 1 days ago
2010
IEEE
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
140
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...
171
click to vote
UAI
2007
15 years 6 months ago
2007
This paper is part of a project to match descriptions of real-world instances and probabilistic models, both of which can be described at mulvel of abstraction and detail. We use ...
249
click to vote
DBSOCIAL
2011
14 years 8 months ago
2011
While search engines are the major sources of content discovery on online content providers and e-commerce sites, their capability is limited since textual descriptions cannot ful...
180
click to vote
JUCS
2010
14 years 11 months ago
2010
: Intelligent Tutoring Systems (ITSs) constitute a popular type of intelligent educational systems. Domain Knowledge (DK) is a basic part of an ITS and usually includes information...