Sciweavers

2602 search results - page 380 / 521
» Semantic Analysis of 'to'
Sort
View
ICSE
2003
IEEE-ACM
14 years 3 months ago
Reliability Support for the Model Driven Architecture
Reliability is an important concern for software dependability. Quantifying dependability in terms of reliability can be carried out by measuring the continuous delivery of a corr...
Genaína Nunes Rodrigues, Graham Roberts, Wo...
WOLLIC
2010
Springer
14 years 3 months ago
On Anaphora and the Binding Principles in Categorial Grammar
In type logical categorial grammar the analysis of an expression is a resource-conscious proof. Anaphora represents a particular challenge to this approach in that the antecedent ...
Glyn Morrill, Oriol Valentín
ICIP
2002
IEEE
14 years 3 months ago
A graphic-theoretic model for incremental relevance feedback in image retrieval
Many traditional relevance feedback approaches for CBIR can only achieve limited short-term performance improvement without benefiting long-term performance. To remedy this limita...
Yueting Zhuang, Jun Yang 0003, Qing Li, Yunhe Pan
CC
2001
Springer
131views System Software» more  CC 2001»
14 years 2 months ago
Compiler Transformation of Pointers to Explicit Array Accesses in DSP Applications
Abstract. Efficient implementation of DSP applications are critical for embedded systems. However, current applications written in C, make extensive use of pointer arithmetic maki...
Björn Franke, Michael F. P. O'Boyle
LOPSTR
2001
Springer
14 years 2 months ago
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
José Júlio Alferes, Antonio Brogi, J...