3001 search results - page 478 / 601 » Recursive type generativity |
152
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This work describes neural software applied in medicine and physiology to: - investigate and diagnose immune deficiencies; diagnose and study allergic and pseudoallergic reactions...
172
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
142
click to vote
CACM
2000
15 years 6 months ago
2000
In this paper, we describe a method for realistically animating ductile fracture in common solid materials such as plastics and metals. The effects that characterize ductile fract...
152
click to vote
CN
2000
15 years 6 months ago
2000
This paper discusses methods to generate and display automatically additional hyperlink information to the users of the World Wide Web. Current Web browsers make it hard to predic...
157
click to vote
COLING
2002
15 years 6 months ago
2002
The dictionary look-up of unknown words is particularly difficult in Japanese due to the complicated writing system. We propose a system which allows learners of Japanese to look ...