2292 search results - page 235 / 459 » Structure preserving embedding |
146
click to vote
TLCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
144
Voted
MEMBRANE
2004
Springer
15 years 10 months ago
2004
Springer
LMNtal (pronounced “elemental”) is a simple language model based on graph rewriting that uses logical variables to represent links and membranes to represent hierarchies. The ...
160
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
The design, fabrication and testing of a 5 5 micromachined tactile sensor array for the detection of an extremely small force (micrometer-Newton range) has been discussed. An anis...
169
click to vote
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
157
click to vote
ERSHOV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Research in dialogue systems has been moving towards reusable and adaptable architectures for managing dialogue execution and integrating heterogeneous subsystems. In thi...