5722 search results - page 1038 / 1145 » Security Function Interactions |
132
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
124
Voted
SIGGRAPH
1999
ACM
15 years 6 months ago
1999
ACM
With fast 3D graphics becoming more and more available even on low end platforms, the focus in hardware-accelerated rendering is beginning to shift towards higher quality renderin...
142
click to vote
INFOCOM
1999
IEEE
15 years 6 months ago
1999
IEEE
With the proliferation of high-speed networks and networked services, provisioning differentiated services to a diverse user base with heterogeneous QoS requirements has become an ...
150
Voted
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
158
Voted
GECCO
1999
Springer
15 years 6 months ago
1999
Springer
This paper discusses the simulation results of a model of biological development for neural networks based on a regulatory genome. The model’s results are analyzed using the fra...