4061 search results - page 405 / 813 » Framework Evolution Tool |
193
click to vote
ESWA
2007
15 years 6 months ago
2007
The goal of assembly planning consists in generating feasible sequences to assemble a product and selecting an efficient assembly sequence from which related constraint factors su...
208
click to vote
NN
1998
Springer
15 years 6 months ago
1998
Springer
In this article we describe a methodology for evolving neurocontrollers of autonomous mobile robots without human intervention. The presentation, which spans from technological an...
256
click to vote
JCDL
2011
ACM
14 years 9 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
238
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
211
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...