7103 search results - page 77 / 1421 » Components and Generative Programming |
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
ICCV
1998
IEEE
14 years 9 months ago
1998
IEEE
EVOW
2007
Springer
14 years 1 months ago
2007
Springer
We describe a novel method of evolutionary visual learning that uses generative approach for assessing learner’s ability to recognize image contents. Each learner, implemented as...
GECCO
1999
Springer
13 years 12 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
IFIP12
2009
13 years 5 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...