1263 search results - page 148 / 253 » Packaging Mathematical Structures |
LATA
2009
Springer
15 years 5 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
110
click to vote
IEEEICCI
2009
IEEE
15 years 5 months ago
2009
IEEE
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
MKM
2007
Springer
15 years 4 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...