678 search results - page 23 / 136 » A Universal Framework for Self-Replication |
ATVA
2011
Springer
13 years 9 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
ECOOP
2012
Springer
13 years 1 days ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
105
click to vote
ECTEL
2006
Springer
15 years 1 months ago
2006
Springer
In this poster, we will propose a framework for finding, recommending and inserting learning objects in a digital repository level, exploiting the user context that is captured fro...
69
Voted
AIR
2008
14 years 9 months ago
2008
This paper is concerned with taking an engineering approach towards the application of metaheuristic problem solving methods, i.e. heuristics that aim to solve a wide variety of p...
125
Voted
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
Different materials reflect light in different ways, and reflectance
interacts with shape, lighting, and viewpoint to
determine an object’s image. Common materials exhibit dive...