883 search results - page 139 / 177 » The Semantics of Verilog Using Transition System Combinators |
HT
2010
ACM
13 years 11 months ago
2010
ACM
1 Tags are an important information source in Web 2.0. They can be used to describe users’ topic preferences as well as the content of items to make personalized recommendations....
ERCIMDL
2007
Springer
14 years 3 months ago
2007
Springer
Modern digital music libraries contain textual, visual, and audio data describing music on various semantic levels. Exploiting the availability of different semantically interrela...
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
FQAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. There is currently great interest in integrating knowledge discovery research into mainstream database systems. Such an enterprise is nontrivial because knowledge discove...
FLAIRS
2008
13 years 11 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...