3256 search results - page 258 / 652 » Applications of Formal Methods to System Design and Verifica... |
187
click to vote
CASON
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes the functions of a system proposed for the music tube recommendation from social network data base. Such a system enables the automatic collection, evaluation...
184
click to vote
DCC
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a novel algorithm that assigns codes to instructions during instruction code compression in order to minimize bus-related bit-toggling and thus reducing power consumpti...
175
click to vote
AAAI
2000
15 years 8 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
165
click to vote
MLDM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In the biometric field, different experts are combined to improve the system reliability, as in many application the performance attained by individual experts (i.e., d...
187
click to vote
APSEC
2005
IEEE
16 years 6 days ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...