844 search results - page 130 / 169 » Semantic Analysis of Matrix Structures |
122
Voted
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...
172
click to vote
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...
115
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
122
click to vote
AI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a framework for generating adaptive multimedia presentations through the dynamic selection of files from a large data repository. The presentation is generate...
141
click to vote
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
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 ...