In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
The inherent lack of control over the Internet content resulted in proliferation of online material that can be potentially detrimental. For example, the infamous “Anarchist Coo...
This article describes a robotic adaptive learning appliance called Robo-eLC. The appliance is the result of a multidisciplinary approach which combines e-Learning and e-Commerce ...
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
Abstract. The paper describes a set of approaches for representing and accessing information within a semantically structured information portal, while offering the possibility to ...
Sudhir Agarwal, Peter Fankhauser, Jorge Gonzalez-O...