Sciweavers

2550 search results - page 81 / 510
» Difference Decision Diagrams
Sort
View
DSS
2007
282views more  DSS 2007»
15 years 6 months ago
Strategic decision making and support systems: Comparing American, Japanese and Chinese management
Internationalization creates a need to know how managers in different parts of the world make decisions, and how computerbased information systems (IS) can support decision making...
Maris G. Martinsons, Robert M. Davison
ICCAD
2007
IEEE
102views Hardware» more  ICCAD 2007»
16 years 3 months ago
Scalable exploration of functional dependency by interpolation and incremental SAT solving
Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1, …, gn}, i.e. f = h(g1, …, gn). It plays an important r...
Chih-Chun Lee, Jie-Hong Roland Jiang, Chung-Yang H...
DOLAP
2007
ACM
15 years 10 months ago
Optimal chunking of large multidimensional arrays for data warehousing
ss domain. Using this more abstract approach means that more data sources of varying types can be incorporated with less effort, and such heterogeneous data sources might be very r...
Ekow J. Otoo, Doron Rotem, Sridhar Seshadri
TVLSI
2008
107views more  TVLSI 2008»
15 years 6 months ago
Novel Probabilistic Combinational Equivalence Checking
Exact approaches to combinational equivalence checking, such as automatic test pattern generation-based, binary decision diagrams (BDD)-based, satisfiability-based, and hybrid appr...
Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen
HICSS
2003
IEEE
121views Biometrics» more  HICSS 2003»
15 years 11 months ago
MOBICHARTS: A Notation to Specify Mobile Computing Applications
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyam...