9067 search results - page 350 / 1814 » Adaptive Model Checking |
211
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Service-oriented computing, which offers more flexible means for application development, is gaining popularity. Service-oriented grid applications are constructed by selecting and...
151
click to vote
EUROPAR
1999
Springer
15 years 11 months ago
1999
Springer
This paper reports the parallel implementation of adaptive mesh re nement within nite di erence ocean circulation models. The implementation is based on the model of MalleableTasks...
206
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
181
click to vote
IJVR
2008
15 years 6 months ago
2008
Simulations utilizing virtual humans, or computer controlled agents, are more predominant now than ever. Many of these simulations suffer from a lack of effective, stimulating, and...
171
click to vote
AVI
2008
15 years 9 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...