13734 search results - page 263 / 2747 » Abstractions of data types |
162
click to vote
HCI
2001
15 years 8 months ago
2001
: For the past two years we have been addressing the challenges involved in managing the data generated within immersive environments. We together with many other researchers have ...
163
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: New techniques for determining relationships between biomolecules of all types
183
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The results of knowledge discovery in databases could vary depending on the data mining method. There are several ways to select the most appropriate data mining method dynamicall...
183
click to vote
IWMMDBMS
1998
15 years 7 months ago
1998
Most applications that access large data objects do so through file systems, but file systems provide an incomplete solution, as they maintain insufficient metadata and do not pro...
166
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...