2208 search results - page 171 / 442 » Memory Practices in the Sciences |
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper combines and extends the technologies of fuzzy sets and association rules, considering users’ differential emphasis on each attribute through fuzzy regions. A fuzzy da...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
— An evolutionary “Third Way” approach for restructuring the electricity industry is proposed, striking a balance between the extremes of vertical integration and direct libe...
HICSS
2006
IEEE
15 years 4 months ago
2006
IEEE
An important part of the Enterprise Resource Planning (ERP) system implementation process is the decision, which modules are implemented and in which order. We posit that the deci...
70
Voted
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...