Sciweavers

12487 search results - page 2083 / 2498
» Graspable Work Modeling
Sort
View
BIRTHDAY
2003
Springer
16 years 3 days ago
Fair Equivalence Relations
Equivalence between designs is a fundamental notion in verification. The linear and branching approaches to verification induce different notions of equivalence. When the designs...
Orna Kupferman, Nir Piterman, Moshe Y. Vardi
CAISE
2003
Springer
16 years 3 days ago
The Emergence of Knowledge e-marketplaces
Abstract. On line Knowledge e-marketplaces (Ke-markets) posses some special challenges for buyers and sellers. Unlike most markets, the product of exchange has some unique characte...
Emanuela Pauselli
CAISE
2003
Springer
16 years 3 days ago
On the Applicability of Rules to Automate Data Warehouse Logical Design
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
Verónika Peralta, Alvaro Illarze, Raul Rugg...
CAISE
2003
Springer
16 years 3 days ago
Towards the Automation of Data Warehouse Logical Design: a Rule-Based Approach
Data Warehouse logical design involves the definition of structures that enable an efficient access to information. The designer builds relational or multidimensional structures ta...
Verónika Peralta, Alvaro Illarze, Raul Rugg...
CIARP
2003
Springer
16 years 3 days ago
Integrating High and Low Smoothed LMs in a CSR System
In Continuous Speech Recognition (CSR) systems, acoustic and Language Models (LM) must be integrated. To get optimum CSR performances, it is well-known that heuristic factors must ...
Amparo Varona, Inés Torres
« Prev « First page 2083 / 2498 Last » Next »