1573 search results - page 116 / 315 » Signs and Formal Concepts |
KR
2004
Springer
15 years 7 months ago
2004
Springer
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
120
click to vote
ICDM
2003
IEEE
15 years 7 months ago
2003
IEEE
Machine learning techniques for data extraction from semistructured sources exhibit different precision and recall characteristics. However to date the formal relationship between...
137
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
134
click to vote
DEON
2006
Springer
15 years 5 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
ANSS
2001
IEEE
15 years 5 months ago
2001
IEEE
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellula...