Sciweavers

2070 search results - page 277 / 414
» A Reduced-Basis Element Method
Sort
View
115
Voted
KCAP
2009
ACM
15 years 10 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
99
Voted
BIBE
2008
IEEE
126views Bioinformatics» more  BIBE 2008»
15 years 10 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
135
Voted
FUZZIEEE
2007
IEEE
15 years 10 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
131
Voted
ICC
2007
IEEE
15 years 10 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
125
Voted
ICDCS
2007
IEEE
15 years 10 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