Sciweavers

9186 search results - page 1264 / 1838
» A Module System for Scheme
Sort
View
PETRA
2010
ACM
15 years 3 months ago
Integrating RFID on event-based hemispheric imaging for internet of things assistive applications
Automatic surveillance of a scene in a broad sense comprises one of the core modules of pervasive applications. Typically, multiple cameras are installed in an area to identify ev...
Vassilis Kolias, Ioannis Giannoukos, Christos Anag...
PIMRC
2010
IEEE
15 years 2 months ago
An implementation of Cognitive Resource Management on LTE platform
Abstract--In this paper we describe an LTE based demonstrator of the Universal Link Layer API (ULLA) and Cognitive Resource Manager (CRM) modules that are developed in ARAGORN proj...
Tao Cai, Georgios P. Koudouridis, Johan Johansson,...
206
Voted
BMCBI
2010
219views more  BMCBI 2010»
15 years 2 days ago
BiologicalNetworks 2.0 - an integrative view of genome biology data
Background: A significant problem in the study of mechanisms of an organism's development is the elucidation of interrelated factors which are making an impact on the differe...
Sergey Kozhenkov, Yulia Dubinina, Mayya Sedova, Am...
BMCBI
2011
14 years 8 months ago
Conotoxin Protein Classification Using Free Scores of Words and Support Vector Machines
Background: Conotoxin has been proven to be effective in drug design and could be used to treat various disorders such as schizophrenia, neuromuscular disorders and chronic pain. ...
Nazar Zaki, Stefan Wolfsheimer, Grégory Nue...
EMSOFT
2011
Springer
14 years 4 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
« Prev « First page 1264 / 1838 Last » Next »