5216 search results - page 507 / 1044 » Planning as Model Checking |
182
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
Aim of the paper is to develop a concise but comprehensive analytical model for the well-known Grace Hash Join algorithm on cost effective cluster architectures. This approach is ...
153
click to vote
UIST
2003
ACM
16 years 3 days ago
2003
ACM
People use their awareness of others' temporal patterns to plan work activities and communication. This paper presents algorithms for programatically detecting and modeling t...
175
Voted
ITS
2000
Springer
15 years 10 months ago
2000
Springer
We developed a distributed support model in an interface for distant learning. The support is integrated into the ExploraGraph navigator which makes it possible to navigate through...
200
Voted
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
Query processing is one of the most, critical issues in Object-Oriented DBMSs. Extensible opt,imizers with efficient, search strategies require a cost model to select the most eff...
176
Voted
WSC
2007
15 years 9 months ago
2007
A simulation-based methodology is proposed to map the mean of steady-state cycle time as a function of throughput and product mix for manufacturing systems. Nonlinear regression m...