1816 search results - page 93 / 364 » Formal Concepts of Learning Systems Validation in Use |
163
click to vote
ITS
2010
Springer
15 years 8 months ago
2010
Springer
General-purpose ontologies (e.g. WordNet) are convenient, but they are not always scientifically valid. We draw on techniques from semantic class learning to improve the scientific...
151
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
183
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper, we present a new spectrum-hole prediction model for cognitive radio (CR) systems based on the IEEE 802.11 wireless local areas networks. We have also analyzed the...
159
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
156
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...