4963 search results - page 806 / 993 » Implementing a Categorical Information System |
201
click to vote
JAR
1998
15 years 6 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
239
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a method to create an illusion of seeing moving objects through occluding surfaces in a video. This illusion is achieved by transferring information from a cam...
217
click to vote
WIKIS
2006
ACM
16 years 1 months ago
2006
ACM
Wikis are currently in high demand in a large variety of fields, due to their simplicity and flexible nature. Documentation, reporting, project management, online glossaries and d...
214
click to vote
MM
2004
ACM
16 years 18 days ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
195
click to vote
VLDB
1993
ACM
15 years 11 months ago
1993
ACM
ract One important aspect of scientific data management is metadata management. Metadata is information about data (e.g., content, source, processing applied, precision). One kind ...