Sciweavers

2239 search results - page 308 / 448
» Computing with abstract matrix structures
Sort
View
72
Voted
FOSSACS
2005
Springer
15 years 3 months ago
A Unifying Model of Variables and Names
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
Marino Miculan, Kidane Yemane
HPCC
2005
Springer
15 years 3 months ago
Distributed Query Optimization in the Stack-Based Approach
Abstract. We consider query execution strategies for object-oriented distributed databases. There are several scenarios of query decomposition, assuming that the corresponding quer...
Hanna Kozankiewicz, Krzysztof Stencel, Kazimierz S...
ICCS
2005
Springer
15 years 3 months ago
Morphisms in Context
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zh...
ICESS
2005
Springer
15 years 3 months ago
CDP: Component Development Platform for Communication Protocols
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
Hong-Jun Dai, Tian-Zhou Chen, Chun Chen, Jiang-Wei...
ICIC
2005
Springer
15 years 3 months ago
Automatic Construction of Bayesian Networks for Conversational Agent
Abstract. As the information in the internet proliferates, the methods for effectively providing the information have been exploited, especially in conversational agents. Bayesian ...
Sungsoo Lim, Sung-Bae Cho