579 search results - page 80 / 116 » Viewing Term Proximity from a Different Perspective |
CORR
2011
Springer
14 years 1 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
CONTEXT
2007
Springer
15 years 4 months ago
2007
Springer
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
IHM
2004
ACM
15 years 3 months ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
Data exchange between embedded systems and other small or large computing devices increases. Since data in different data sources may refer to the same real world objects, data ca...
ICTAI
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper proposes an optimization algorithm for reducing the power dissipation in a sequential circuit. The encoding of the different states in a Finite State Machine is modifie...