13099 search results - page 304 / 2620 » Cooperative method development |
170
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
201
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
197
click to vote
AUSDM
2008
Springer
15 years 8 months ago
2008
Springer
Data mining and knowledge discovery have been applied to datasets in various industries including biomedical data. Modelling, data mining and visualization in biomedical data addr...
125
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This work is concerned with numerical methods for controlled regime-switching diffusions, and regime-switching jump diffusions. Numerical procedures based on Markov chain approxim...
148
Voted
IEICET
2006
15 years 6 months ago
2006
Abstract -- The application of Orthogonal SpaceTime Block Codes (O-STBC) as the encoding scheme in the presence of "non-quasi-static" fading was considered. A simple and ...