Sciweavers

6583 search results - page 953 / 1317
» Semantic Analysis Patterns
Sort
View
191
Voted
ICSE
2003
IEEE-ACM
15 years 11 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...
176
Voted
WOLLIC
2010
Springer
15 years 11 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
15 years 11 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»
15 years 10 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
15 years 10 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...