893 search results - page 53 / 179 » Descent Theory for Schemes |
106
click to vote
TNN
1998
14 years 11 months ago
1998
— This paper proposes two hierarchical schemes for learning, one for clustering and the other for classification problems. Both schemes can be implemented on a fuzzy lattice neu...
WICON
2008
15 years 1 months ago
2008
Much previous work has examined the wireless power control problem using tools from game theory, an economic concept which describes the behavior of interdependent but non-coopera...
103
click to vote
ISESE
2005
IEEE
2005
IEEE
Dialog-based protocol: an empirical research method for cognitive activities in software engineering
15 years 5 months ago
This paper proposes dialog-based protocol for the study of the cognitive activities during software development and evolution. The dialog-based protocol, derived from the idea of ...
CAIP
2001
Springer
15 years 4 months ago
2001
Springer
In this paper, using hypergraph theory, we introduce an image model called Adaptive Image Neighborhood Hypergraph (AINH). From this model we propose a combinatorial definition of ...
104
click to vote
ITP
2010
15 years 3 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...