292 search results - page 17 / 59 » Action modeling: language models that predict query behavior |
SIGSOFT
2003
ACM
14 years 29 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
FIW
2007
13 years 9 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
ITS
2004
Springer
14 years 1 months ago
2004
Springer
Research has shown that students’ problem-solving actions vary in type and duration. Among other causes, this behavior is a result of strategies that are driven by different goal...
RTDB
1996
13 years 9 months ago
1996
We are developing an object-oriented real-time database system that includes a relationally complete query language. Unlike conventional query optimizers, our optimizer estimates ...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...