4229 search results - page 419 / 846 » Modeling Human Intelligence as A Slow Intelligence System |
192
Voted
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
172
click to vote
LATA
2010
Springer
16 years 4 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
168
click to vote
ASP
2003
Springer
16 years 16 hour ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
184
click to vote
APN
2004
Springer
16 years 5 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
174
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents the detection and classification part of an industrial machine for automated assembly of decorative tessellae over patterned tiles that have significant reliefs...