Sciweavers

548 search results - page 96 / 110
» Model-based implementation of real-time applications
Sort
View
FOIKS
2006
Springer
14 years 1 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
MOBISYS
2010
ACM
14 years 5 days ago
CrowdSearch: exploiting crowds for accurate real-time image search on mobile phones
Mobile phones are becoming increasingly sophisticated with a rich set of on-board sensors and ubiquitous wireless connectivity. However, the ability to fully exploit the sensing c...
Tingxin Yan, Vikas Kumar, Deepak Ganesan
BMCBI
2008
123views more  BMCBI 2008»
13 years 10 months ago
A tree-based conservation scoring method for short linear motifs in multiple alignments of protein sequences
Background: The structure of many eukaryotic cell regulatory proteins is highly modular. They are assembled from globular domains, segments of natively disordered polypeptides and...
Claudia Chica, Alberto Labarga, Cathryn M. Gould, ...
CD
2004
Springer
14 years 3 months ago
Deploying Agents with the CORBA Component Model
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
Fabio Melo, Ricardo Choren, Renato Cerqueira, Carl...
CGF
2005
167views more  CGF 2005»
13 years 9 months ago
Adaptive Deformable Models for Graphics and Vision
Deformable models are a powerful tool in both computer graphics and computer vision. The description and implementation of the deformations have to be simultaneously flexible and ...
Siome Goldenstein, Christian Vogler, Luiz Velho