13041 search results - page 319 / 2609 » Simulating space and time |
166
click to vote
CP
2004
Springer
16 years 4 days ago
2004
Springer
A constraint satisfaction problem (CSP) model can be preprocessed to ensure that any choices made will lead to solutions, without the need to backtrack. This can be especially usef...
177
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
There is an establishing trend towards the socialization of the web. Virtual communities are becoming very popular web spaces for collaboration and knowledge sharing. However, stu...
185
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
181
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Service-Oriented Architecture (SOA) has become the preferred methodology to build complex enterprise applications. Inside an enterprise, an Enterprise Service Bus (ESB) has emerged...
189
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Although several researchers have integrated methods for reinforcement learning (RL) with case-based reasoning (CBR) to model continuous action spaces, existing integrations typic...