Sciweavers

4218 search results - page 59 / 844
» Complete sets of cooperations
Sort
View
IJDMMM
2008
124views more  IJDMMM 2008»
13 years 7 months ago
Completing missing views for multiple sources of web media
: Combining multiple data sources, each with its own features, to achieve optimal inference has received a lot of attention in recent years. In inference from multiple data sources...
Shankara B. Subramanya, Zheshen Wang, Baoxin Li, H...
IJSI
2008
109views more  IJSI 2008»
13 years 7 months ago
Modular Church-Rosser Modulo: The Complete Picture
In [19], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modula...
Jean-Pierre Jouannaud, Yoshihito Toyama
JAR
2006
101views more  JAR 2006»
13 years 7 months ago
Checking Consistency and Completeness of On-Line Product Manuals
Abstract. As products are growing more complex, so is their documentation. With an increasing number of product options, the diversity in service and maintenance procedures grows a...
Carsten Sinz, Wolfgang Küchlin, Dieter Feicht...
JSYML
2008
74views more  JSYML 2008»
13 years 7 months ago
Omitting types for finite variable fragments and complete representations of algebras
. We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation ...
Tarek Sayed Ahmed, Hajnal Andréka, Istv&aac...
ISJ
1998
82views more  ISJ 1998»
13 years 7 months ago
Successfully completing case study research: combining rigour, relevance and pragmatism
The organizational and social issues associated with the development, implementation and use of computer-based information systems have increasingly attracted the attention of info...
Peta Darke, Graeme G. Shanks, Marianne Broadbent