1816 search results - page 82 / 364 » Formal Concepts of Learning Systems Validation in Use |
145
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
This paper describes a new environment, COE, for capturing and formally representing expert knowledge for use in the Semantic Web. COE exploits the ease of use and rapid knowledge...
158
click to vote
KSEM
2010
Springer
15 years 3 months ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
115
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
126
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Antilock Braking System (ABS) exhibits strongly nonlinear and uncertain characteristics. To overcome these difficulties, robust control methods should be employed. In this pap...
141
click to vote
WISTP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The use of RFID technology in complex and distributed environments often leads to a multi-domain RFID system in which security issues such as authentication of tags and r...