Sciweavers

4987 search results - page 500 / 998
» Fuzzifying P Systems
Sort
View
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 7 months ago
Characterisation of an Electrostatic Vibration Harvester
Harvesting energy from ambient vibration is proposed as an alternative to storage based power supplies for autonomous systems. The system presented converts the mechanical energy ...
T. Sterken, Geert Altena, P. Fiorini, R. Puers
CC
2006
Springer
123views System Software» more  CC 2006»
15 years 7 months ago
On the complexity of approximating k-set packing
Given a k-uniform hypergraph, the Maximum k-Set Packing problem is to find the maximum disjoint set of edges. We prove that this problem cannot be efficiently approximated to with...
Elad Hazan, Shmuel Safra, Oded Schwartz
DSS
2006
108views more  DSS 2006»
15 years 7 months ago
Matching observed behavior and modeled behavior: An approach based on Petri nets and integer programming
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
Wil M. P. van der Aalst
JSC
2007
72views more  JSC 2007»
15 years 6 months ago
Linear syntax for communicating elementary mathematics
We consider computer aided assessment (CAA) of mathematics in which a student provides an answer in the form of a mathematical expression. A common approach is for CAA system impl...
Christopher J. Sangwin, P. Ramsden
CSCW
2002
ACM
15 years 6 months ago
First steps towards mutually-immersive mobile telepresence
Mutually-Immersive Mobile Telepresence uses a teleoperated robotic surrogate to visit remote locations as a substitute for physical travel. Our goal is to recreate to the greatest...
Norman P. Jouppi