Sciweavers

1998 search results - page 233 / 400
» Basic Association Rules
Sort
View
118
Voted
COMSUR
2011
201views Hardware» more  COMSUR 2011»
14 years 2 months ago
Vehicular Networking: A Survey and Tutorial on Requirements, Architectures, Challenges, Standards and Solutions
— Vehicular networking has significant potential to enable diverse applications associated with traffic safety, traffic efficiency and infotainment. In this survey and tutorial p...
Georgios Karagiannis, Onur Altintas, Eylem Ekici, ...
CAV
2000
Springer
187views Hardware» more  CAV 2000»
15 years 6 months ago
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
Poul Frederick Williams, Armin Biere, Edmund M. Cl...
RSCTC
2000
Springer
197views Fuzzy Logic» more  RSCTC 2000»
15 years 6 months ago
Rough Set Approach to CBR
We discuss how Case Based Reasoning (CBR) (see e.g. [1], [4]) philosophy of adaptation of some known situations to new similar ones can be realized in rough set framework [5] for c...
Jan Wierzbicki
213
Voted
ICDE
2008
IEEE
125views Database» more  ICDE 2008»
16 years 4 months ago
RAD: A Scalable Framework for Annotator Development
Developments in semantic search technology have motivated the need for efficient and scalable entity annotation techniques. We demonstrate RAD: a tool for Rapid Annotator Developme...
Sanjeet Khaitan, Ganesh Ramakrishnan, Sachindra Jo...
138
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
Mining API patterns as partial orders from source code: from usage scenarios to specifications
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
Mithun Acharya, Tao Xie, Jian Pei, Jun Xu