3844 search results - page 293 / 769 » Modular interpreted systems |
129
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
126
click to vote
IJPRAI
2000
15 years 4 months ago
2000
Lip reading provides useful information in speech perception and language understanding, especially when the auditory speech is degraded. However, many current automatic lip readi...
127
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Most systems for content based image retrieval (CBIR) employ low level image features as a similarity measure. The problem of CBIR systems is that they are a “black box” to th...
130
click to vote
DEXA
1999
Springer
15 years 8 months ago
1999
Springer
Workflow management systems require advanced transaction support to cope with their inherently long-running processes. The recent trend to distribute workflow executions requires ...
139
click to vote
VL
2009
IEEE
15 years 11 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...