3731 search results - page 626 / 747 » Reduct Generation in Information Systems |
171
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: White Spot Syndrome Virus, a member of the virus family Nimaviridae, is a large dsDNA virus infecting shrimp and other crustacean species. Although limited information...
196
Voted
TASLP
2008
15 years 6 months ago
2008
We describe an acoustic chord transcription system that uses symbolic data to train hidden Markov models and gives best-of-class frame-level recognition results. We avoid the extre...
162
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: Motivated by a biomedical database set up by our group, we aimed to develop a generic database front-end with embedded knowledge discovery and analysis features. A maj...
180
Voted
KES
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Producing plays, films or animations is a complex and expensive process involving various professionals and media. Our proposed software system, SceneMaker, aims to faci...
214
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...