10890 search results - page 1742 / 2178 » Automatic Complexity Analysis |
175
click to vote
ER
2007
Springer
16 years 28 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
178
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
A coevolutionary competitive learning environment for two antagonistic agents is presented. The agents are controlled by a new kind of computational network based on a compartment...
180
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
This paper describes the application of evolutionary search to the problem of Flash memory wear-out. The operating parameters of Flash memory are notoriously difficult to determin...
213
click to vote
SEMWEB
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper presents the ’Media Watch on Climate Change’, an interactive Web portal that combines a portfolio of semantic services with a visual interface based on tig...
204
click to vote
CODES
2006
IEEE
16 years 25 days ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...