412 search results - page 30 / 83 » Innovations in computational type theory using Nuprl |
ITICSE
2005
ACM
14 years 1 months ago
2005
ACM
Traditional teaching methods have acknowledged limitations. Lectures may be used to transmit information efficiently, but often fail to motivate students to engage with the subjec...
IE
2007
13 years 9 months ago
2007
This paper presents innovative research into the use of videogame environments within architectural design studios. In this context, 3D videogame environments encourage new unders...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We introduce a shape descriptor that is based on the Symmetry Set. This set represents pairwise symmetric points and consists of several branches. The begin and end points of the ...
CDC
2009
IEEE
14 years 21 days ago
2009
IEEE
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...