1916 search results - page 340 / 384 » Reasoning with class algebra |
JIB
2007
13 years 7 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
TSE
2008
13 years 7 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Kernel based methods such as Support Vector Machine (SVM) have provided successful tools for solving many recognition problems. One of the reason of this success is the use of ker...
FMSD
2002
13 years 7 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
CCR
1998
13 years 7 months ago
1998
The single class best effort service available in the current Internet does not provide the guarantees, typically expressed in terms of minimum bandwidth and/or maximum delay or l...