785 search results - page 31 / 157 » Teaching computer graphics constructively |
132
click to vote
SIGSOFT
2009
ACM
15 years 6 months ago
2009
ACM
Macroprogramming is an application development technique for wireless sensor networks (WSNs) where the developer specifies the behavior of the system, as opposed to that of the c...
133
click to vote
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
WSCG
2003
15 years 3 months ago
2003
We present a novel approach for producing a real-time simulation of the 3D phenomenon of the electrocardiogram. Techniques are borrowed from the fields of computer vision and comp...
ITICSE
2005
ACM
15 years 7 months ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
105
click to vote
DCC
2006
IEEE
16 years 1 months ago
2006
IEEE
So far there is no systematic attempt to construct Boolean functions with maximum annihilator immunity. In this paper we present a construction keeping in mind the basic theory of...