9067 search results - page 540 / 1814 » Adaptive Model Checking |
171
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...
199
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
— The usage of dynamic languages is increasing among developers. As components are static entities, the usage of scripting languages, which are usually dynamically typed and inte...
203
click to vote
CIG
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Many games require opponent modelling for optimal performance. The implicit learning and adaptive nature of evolutionary computation techniques offer a natural way to d...
250
click to vote
BXML
2004
15 years 8 months ago
2004
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...
199
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— A biologically inspired foveated attention system in an object detection scenario is proposed. Thereby, a highperformance active multi-focal camera system imitates visual behav...