5718 search results - page 890 / 1144 » Modeling Rule Precision |
162
click to vote
TLCA
2005
Springer
16 years 19 days ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
226
click to vote
VLDB
2005
ACM
16 years 19 days ago
2005
ACM
RFID technology can be used to significantly improve the efficiency of business processes by providing the capability of automatic identification and data capture. This technol...
184
click to vote
WEBI
2005
Springer
16 years 19 days ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
181
click to vote
BPM
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...
210
click to vote
DALT
2004
Springer
16 years 17 days ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...