1127 search results - page 109 / 226 » Theory Extension in ACL2(r) |
162
click to vote
CSEE
2007
Springer
16 years 17 days ago
2007
Springer
Extensive instructional materials have been developed and used for courses in specific software architecture topics offered at the Software Engineering Institute (SEI) at Carnegie...
155
click to vote
ECOOP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
168
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
We propose that the behaviour of non-linear media can be controlled automatically through coevolutionary systems. By extension, forms of unconventional computing, i.e., massively ...
146
click to vote
WILF
2007
Springer
16 years 15 days ago
2007
Springer
The standard approach to information entropy applied to partitions of a universe is equivalently formulated as the entropy of the corresponding crisp identity resolutions, interpre...
147
click to vote
3DPVT
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...