5465 search results - page 937 / 1093 » Assigning Types to Processes |
129
click to vote
BELL
2000
15 years 3 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...
130
Voted
BIB
2000
15 years 3 months ago
2000
Much of biology works by applying prior knowledge (`what is known') to an unknown entity, rather than the application of a set of axioms that will elicit knowledge. In additi...
97
Voted
CACM
2000
15 years 3 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...
136
click to vote
CI
2000
15 years 3 months ago
2000
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
117
click to vote
CGA
2002
15 years 3 months ago
2002
Thousands of historically revealing cuneiform clay tablets, which were inscribed in Mesopotamia millenia ago, still exist today. Visualizing cuneiform writing is important when de...