Sciweavers

427 search results - page 73 / 86
» On the Power of Labels in Transition Systems
Sort
View
MEMOCODE
2003
IEEE
14 years 2 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
NECO
2010
147views more  NECO 2010»
13 years 7 months ago
Connectivity, Dynamics, and Memory in Reservoir Computing with Binary and Analog Neurons
Abstract: Reservoir Computing (RC) systems are powerful models for online computations on input sequences. They consist of a memoryless readout neuron which is trained on top of a ...
Lars Büsing, Benjamin Schrauwen, Robert A. Le...
CORR
2010
Springer
103views Education» more  CORR 2010»
13 years 7 months ago
BioBlender: a Software for Intuitive Representation of Surface Properties of Biomolecules
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...
Raluca Mihaela Andrei, Marco Callieri, Maria Franc...
EMNLP
2006
13 years 10 months ago
Boosting Unsupervised Relation Extraction by Using NER
Web extraction systems attempt to use the immense amount of unlabeled text in the Web in order to create large lists of entities and relations. Unlike traditional IE methods, the ...
Ronen Feldman, Benjamin Rosenfeld
MOBISYS
2009
ACM
14 years 9 months ago
A framework of energy efficient mobile sensing for automatic user state recognition
Urban sensing, participatory sensing, and user activity recognition can provide rich contextual information for mobile applications such as social networking and location-based se...
Yi Wang, Jialiu Lin, Murali Annavaram, Quinn Jacob...