Sciweavers

1156 search results - page 12 / 232
» The PENG System: Practice and Experience
Sort
View
JCIT
2007
91views more  JCIT 2007»
14 years 10 months ago
A Study on Successful Business Intelligence Systems in Practice
Although the concept of Business Intelligence (BI) Systems is still emerging, nowadays many global companies like Agfa, POSCO, TDS Telecom and etc are implementing BI systems as t...
Sarvar R. Abdullaev, Il Seok Ko
83
Voted
MLMI
2005
Springer
15 years 4 months ago
Can Chimeric Persons Be Used in Multimodal Biometric Authentication Experiments?
Combining multiple information sources, typically from several data streams is a very promising approach, both in experiments and to some extents in various real-life applications....
Norman Poh, Samy Bengio
69
Voted
EUROMICRO
2000
IEEE
15 years 3 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
85
Voted
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 3 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
86
Voted
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 3 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...