Sciweavers

3311 search results - page 536 / 663
» Modeling Relational Data by the Adjacency Model
Sort
View
160
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
Finding bugs efficiently with a SAT solver
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
Julian Dolby, Mandana Vaziri, Frank Tip
IROS
2007
IEEE
157views Robotics» more  IROS 2007»
15 years 9 months ago
View-adaptive manipulative action recognition for robot companions
— This paper puts forward an approach for a mobile robot to recognize the human’s manipulative actions from different single camera views. While most of the related work in act...
Zhe Li, Sven Wachsmuth, Jannik Fritsch, Gerhard Sa...
130
Voted
BMCBI
2008
128views more  BMCBI 2008»
15 years 3 months ago
HAPSIMU: a genetic simulation platform for population-based association studies
Background: Population structure is an important cause leading to inconsistent results in population-based association studies (PBAS) of human diseases. Various statistical method...
Feng Zhang, Jianfeng Liu, Jie Chen, Hong-Wen Deng
184
Voted
PROMISE
2010
14 years 10 months ago
Prediction of defect distribution based on project characteristics for proactive project management
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...
Youngki Hong, Wondae Kim, Jeongsoo Joo
KDD
2008
ACM
232views Data Mining» more  KDD 2008»
16 years 3 months ago
Anticipating annotations and emerging trends in biomedical literature
The BioJournalMonitor is a decision support system for the analysis of trends and topics in the biomedical literature. Its main goal is to identify potential diagnostic and therap...
Bernd Wachmann, Dmitriy Fradkin, Fabian Mörch...