3557 search results - page 419 / 712 » Authoring Presentation for OpenMath |
186
click to vote
VLC
2008
15 years 6 months ago
2008
We present the new notion of enforced generative pattern, a structure that declares positive or negative conditions that must be satisfied by a model. Patterns are applied to tran...
196
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
For the manual semantic markup of documents to become widespread, users must be able to express annotations that conform to ontologies (or schemas) that have shared meaning. Howev...
160
click to vote
PODC
2009
ACM
16 years 7 months ago
2009
ACM
Transactional memories are typically speculative and rely on contention managers to cure conflicts. This paper explores a complementary approach that prevents conflicts by schedul...
184
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
In recent years, the number of patents filed by the business enterprises in the technology industry are growing rapidly, thus providing unprecedented opportunities for knowledge d...
184
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
High-dimensional collections of 0-1 data occur in many applications. The attributes in such data sets are typically considered to be unordered. However, in many cases there is a n...