5184 search results - page 331 / 1037 » Computer support for mechatronic control system design |
210
click to vote
AISC
1998
Springer
15 years 11 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, ...
203
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Support vector machines (SVMs) have been widely used in multimedia retrieval to learn a concept in order to find the best matches. In such a SVM active learning environment, the ...
170
click to vote
MIDDLEWARE
2001
Springer
15 years 11 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
159
click to vote
ICN
2009
Springer
16 years 1 months ago
2009
Springer
— Automotive theft has been a persisting problem around the world and greater challenge comes from professional thieves. In this paper, we present an automotive security system t...
335
Voted
Book
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...