3387 search results - page 529 / 678 » Automating the Metamodeling Process |
164
click to vote
IESS
2007
Springer
16 years 16 days ago
2007
Springer
: Much effort in RTL design has been devoted to developing “push-button” types of tools. However, given the highly complex nature, and lack of control on RTL design, push-butt...
265
click to vote
ILP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Many reinforcement learning domains are highly relational. While traditional temporal-difference methods can be applied to these domains, they are limited in their capaci...
162
click to vote
ISVC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Floating mines are a significant threat to the safety of ships in theatres of military or terrorist conflict. Automating mine detection is difficult, due to the unpredict...
149
click to vote
LPAR
2007
Springer
16 years 16 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
192
click to vote
RR
2007
Springer
16 years 15 days ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...