1816 search results - page 135 / 364 » Formal Concepts of Learning Systems Validation in Use |
137
click to vote
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
199
click to vote
IJCAI
1997
15 years 7 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
156
click to vote
DEXAW
2000
IEEE
15 years 10 months ago
2000
IEEE
Given their simple nature, the success of keyword based retrieval systems is astonishing. Although these methods seemingly only process words (and their word counts), they rely on...
163
click to vote
IAT
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
202
click to vote
CSI
2007
15 years 6 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...