4940 search results - page 365 / 988 » On the Complexity of Universal Programs |
170
click to vote
ENTCS
2006
15 years 6 months ago
2006
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
180
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
150
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Computer games are a multi-billion dollar industry and have become an important part of our private and social lives. It is only natural, then, that the technology used to create ...
162
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Abstract: In Peru, the computing discipline as an academic field has been neglected during decades deriving in a lowquality higher education system and consequently shaping an acad...
139
click to vote
EXPERT
2000
15 years 6 months ago
2000
The Behavior-Based Robotics course at Northwestern University is a project-oriented course that gives undergraduate and graduate students exposure to programming research-grade ro...