959 search results - page 144 / 192 » Transfers between Logics and their Applications |
109
click to vote
AGILE
2008
Springer
15 years 8 months ago
2008
Springer
The SIM-DL theory has been developed to enable similarity measurement between concept specifications using description logics. It thus closes the gap between similarity theories f...
132
click to vote
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
As the "system-on-a-chip" concept is rapidly becoming a reality, time-to-market and product complexity push the reuse of complex macromodules. Circuits combining a varie...
132
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
134
click to vote
AISC
1998
Springer
15 years 6 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
139
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...