Sciweavers

2070 search results - page 277 / 414
» A Reduced-Basis Element Method
Sort
View
99
Voted
KCAP
2009
ACM
15 years 7 months ago
Formally measuring agreement and disagreement in ontologies
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
Mathieu d'Aquin
BIBE
2008
IEEE
126views Bioinformatics» more  BIBE 2008»
15 years 7 months ago
Polyadenylation site prediction using interesting emerging patterns
—This paper presents a study on polyadenylation site prediction in mRNA sequences. We describe a method, called PolyA-EP, that we developed for predicting polyadenylation sites a...
George Tzanis, I. Kavakiotis, Ioannis P. Vlahavas
FUZZIEEE
2007
IEEE
15 years 7 months ago
Soft Target Based Obstacle Avoidance for Car-like Mobile Robot in Dynamic Environment
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...
Yougen Chen, Seiji Yasunobu
104
Voted
ICC
2007
IEEE
15 years 7 months ago
Joint Transmitter-Receiver Beamforming Over Space-Time Fading Channels
Abstract—The problem of joint transmitter and receiver beamforming in the downlink DS-CDMA over multipath fading channels is considered in this paper. The proposed investigation ...
Tingting Zhang, Athanassios Manikas
100
Voted
ICDCS
2007
IEEE
15 years 7 months ago
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
Borzoo Bonakdarpour, Sandeep S. Kulkarni