4166 search results - page 686 / 834 » Automating the constraining process |
140
click to vote
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
119
click to vote
IESS
2007
Springer
15 years 9 months 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...
213
Voted
ILP
2007
Springer
15 years 9 months 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...
123
Voted
ISVC
2007
Springer
15 years 9 months 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...
116
click to vote
LPAR
2007
Springer
15 years 9 months 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 ...