1280 search results - page 64 / 256 » Soft Typing with Conditional Types |
DAC
2001
ACM
14 years 10 months ago
2001
ACM
The quality of synthesis results for most high level synthesis approaches is strongly a ected by the choice of control ow through conditions and loops in the input description. In...
ICDE
2006
IEEE
14 years 3 months ago
2006
IEEE
The properties of contents stored in a computer system are very wide while the data volume treated in the system becomes very large. It is important to treat each stored object in...
JOCN
2011
13 years 4 months ago
2011
■ Defeasible inferences are inferences that can be revised in the light of new information. Although defeasible inferences are pervasive in everyday communication, little is kno...
SCP
1998
13 years 8 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— We explore the capabilities of a robot designed to locate objects underwater through active movement of an electric field emitter and sensor apparatus. The robot is inspired b...