6770 search results - page 958 / 1354 » How GPUs Work |
172
Voted
ENTCS
2006
15 years 4 months ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
160
Voted
IJMMS
2008
15 years 4 months ago
2008
Generally, an experienced therapist continuously monitors the affective cues of the children with Autism Spectrum Disorders (ASD) and adjusts the course of the intervention accord...
129
click to vote
CANDC
2007
ACM
15 years 4 months ago
2007
ACM
Motivated by the recent work on Escherichia coli bacteria clustering [Park, S., Wolanin, P.M., Yuzbashyan, E.A., Lin, H., Darnton, N.C., Stock, J.B., Silberzan, P., Austin, R., 20...
138
click to vote
GPEM
2006
15 years 4 months ago
2006
There are various representations for encoding graph structures, such as artificial neural networks (ANNs) and circuits, each with its own strengths and weaknesses. Here we analyz...
141
click to vote
CGF
2007
15 years 4 months ago
2007
In this paper, we propose a novel framework to represent visual information. Extending the notion of conventional image-based rendering, our framework makes joint use of both ligh...