1368 search results - page 188 / 274 » Personality-Based Practical Reasoning |
118
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
121
Voted
ICSE
2005
IEEE-ACM
15 years 8 months ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
131
Voted
ICTAC
2005
Springer
15 years 8 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
125
Voted
IFIP
2005
Springer
15 years 8 months ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
111
click to vote
LSSC
2005
Springer
15 years 8 months ago
2005
Springer
A new parallel algorithm for signal processing and a parallel systolic architecture of a robust constant false alarm rate (CFAR) processor with post-detection integration and adap...