1466 search results - page 149 / 294 » Complexity of Reasoning over Temporal Data Models |
124
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
126
click to vote
ICUIMC
2009
ACM
15 years 11 months ago
2009
ACM
Although documents have hundreds of thousands of unique words, only a small number of words are significantly useful for intelligent services. For this reason, feature extraction ...
121
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
Propositionalization has already been shown to be a particularly promising approach for robustly and effectively handling relational data sets for knowledge discovery. In this pap...
149
click to vote
JSW
2007
15 years 4 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
232
click to vote
PODS
2009
ACM
16 years 5 months ago
2009
ACM
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...