Sciweavers

2344 search results - page 53 / 469
» Generating from a Deep Structure
Sort
View
124
Voted
PPOPP
2003
ACM
15 years 4 months ago
Using generative design patterns to generate parallel code for a distributed memory environment
A design pattern is a mechanism for encapsulating the knowledge of experienced designers into a re-usable artifact. Parallel design patterns reflect commonly occurring parallel co...
Kai Tan, Duane Szafron, Jonathan Schaeffer, John A...
80
Voted
ICCAD
2000
IEEE
137views Hardware» more  ICCAD 2000»
15 years 3 months ago
Smart Simulation Using Collaborative Formal and Simulation Engines
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James ...
BILDMED
2007
134views Algorithms» more  BILDMED 2007»
15 years 16 days ago
Generation of Hulls Encompassing Neuronal Pathways Based on Tetrahedralization and 3D Alpha Shapes
Abstract. Diffusion tensor imaging provides information about structure and location of white matter tracts within the human brain which is of particular interest for neurosurgery...
Dorit Merhof, Martin Meister, Ezgi Bingöl, Pe...
IJCAI
1989
15 years 7 days ago
Generation, Local Receptive Fields and Global Convergence Improve Perceptual Learning in Connectionist Networks
This paper presents and compares results for three types of connectionist networks on perceptual learning tasks: [A] Multi-layered converging networks of neuron-like units, with e...
Vasant Honavar, Leonard Uhr
TLCA
2009
Springer
15 years 5 months ago
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
Lutz Straßburger