3583 search results - page 96 / 717 » A Type System for the Relational Calculus of Object Systems |
ICFP
1999
ACM
14 years 1 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
IWPC
2000
IEEE
14 years 1 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
ICONIP
2007
13 years 10 months ago
2007
Current automobiles’ safety systems based on video cameras and movement sensors fail when objects are out of the line of sight. This paper proposes a system based on pulsed neura...
ICMCS
1999
IEEE
14 years 1 months ago
1999
IEEE
Image retrieval has commonly been attempted using non-semantic approaches. It is clear though, that semantic retrieval is more desirable because it facilitates the user's tas...
CIDR
2007
13 years 10 months ago
2007
Biologists are increasingly using databases for storing and managing their data. Biological databases typically consist of a mixture of raw data, metadata, sequences, annotations,...