Sciweavers

1226 search results - page 59 / 246
» Designing systems-on-chip using cores
Sort
View
ERCIMDL
2010
Springer
169views Education» more  ERCIMDL 2010»
15 years 2 months ago
An Architecture for Supporting RFID-Enhanced Interactions in Digital Libraries
Abstract. In this paper, we report the design of an RFID sensing infrastructure for digital libraries. In addition to the architecture of the system, we report its deployment in th...
George Buchanan, Jennifer Pearson
ENGL
2007
80views more  ENGL 2007»
15 years 1 months ago
Calculation of Local Iron Loss in Electrical Machines Using Finite Elements Method
—Calculations of iron losses in the electrical machines are normally based on experimental characteristics of core material used in the machines. These methods with simplified ma...
Ahmad Darabi, Mohammad Ebrahim Ghazi, Hamid Lesani...
FMCAD
2000
Springer
15 years 5 months ago
Checking Safety Properties Using Induction and a SAT-Solver
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
Mary Sheeran, Satnam Singh, Gunnar Stålmarck
EPIA
2001
Springer
15 years 5 months ago
On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
João Alexandre Leite, José Jú...
OTM
2005
Springer
15 years 6 months ago
Towards Ontology-Guided Design of Learning Information Systems
Courseware increasingly consists of generic information and communication tools. These offer a plethora of functionalities, but their usefulness to a particular learning community ...
Aldo de Moor