212 search results - page 37 / 43 » Working with Mathematical Structures in Type Theory |
MMMACNS
2005
Springer
14 years 27 days ago
2005
Springer
The continuous general linear group in n dimensions can be decomposed into two Lie groups: (1) an n(n-1) dimensional ‘Markov type’ Lie group that is defined by preserving the ...
BMCBI
2011
13 years 2 months ago
2011
Background: When investigating covariate interactions and group associations with standard regression analyses, the relationship between the response variable and exposure may be ...
KDD
2009
ACM
14 years 2 months ago
2009
ACM
There is a growing wealth of data describing networks of various types, including social networks, physical networks such as transportation or communication networks, and biologic...
ECAI
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. The emergence of complex network structures of relationships between autonomous agents occurs in a wide range of distributed systems. Many researchers have proposed model...
KER
2007
13 years 7 months ago
2007
AI planning solves the problem of generating a correct and efficient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...