9425 search results - page 453 / 1885 » Some Notes on Models and Modelling |
147
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
167
click to vote
CSEE
2009
Springer
15 years 11 months ago
2009
Springer
The project experience described in this paper builds upon three years of running global software development projects in an educational setting. It explicitly addresses some of t...
141
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents a novel feature selection method for classification of high dimensional data, such as those produced by microarrays. It includes a partial supervisio...
172
click to vote
CSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Several applications have been proposed for Wireless sensor networks. These include habitat monitoring, structural health monitoring, pipeline (gas, water, and oil) mon...
126
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
Glycan biosynthesis is the process by which glycans are built in the cells. Information about the process is available from several Web accessible databases, published papers, exp...