10156 search results - page 187 / 2032 » Step by Step to Histories |
152
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper deals with the creation of visual segment trees involved in MPEG-7 Description Schemes. After a brief overview of MPEG7 description schemes in general and of the Segmen...
204
click to vote
TPHOL
2000
IEEE
15 years 11 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
183
click to vote
APL
2000
ACM
15 years 11 months ago
2000
ACM
The identification of pktases in a sentence can be useful as a pre-processing step before attempting the full paxsing. There is a]xeady much 1/teratuxe about fmding simple non-rec...
170
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Our goal is for robots to learn conceptual systems su cient for natural language and planning. The learning should be autonomous, without supervision. The rst steps in building a ...
167
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The question we consider in this paper is: “When can a combination of fine-grain execution steps be contracted into an atomic action execution”? Our answer is basica...