10802 search results - page 222 / 2161 » Generative and developmental systems |
99
Voted
TCAD
2002
15 years 10 days ago
2002
In this paper, the authors propose an algorithm to find all the minimal signed digit (MSD) representations of a constant and present an algorithm to synthesize digital filters base...
116
click to vote
NPL
2007
15 years 5 days ago
2007
Autonomous mobile robots form an important research topic in the field of robotics due to their near-term applicability in the real world as domestic service robots. These robots ...
87
Voted
FLOPS
2010
Springer
15 years 7 months ago
2010
Springer
Disproof can be as important as proof in studying programs and programming languages. In particular, side conditions in a statement about program behavior are sometimes best unders...
122
click to vote
RULEML
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper, a novel architecture for high-level scene interpretation is introduced, which is based on the generation of rules from an OWL-DL ontology. It is shown that...
104
click to vote
FDL
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...