Sciweavers

1937 search results - page 28 / 388
» Starting B Specifications from Use Cases
Sort
View
94
Voted
FLAIRS
2003
15 years 3 months ago
Dispatching Cases versus Merging Case-Bases: When MCBR Matters
Multi-case-base reasoning (MCBR) extends case-based reasoning to draw on multiple case bases that may address somewhat different tasks. In MCBR, an agent selectively supplements i...
David B. Leake, Raja Sooriamurthi
118
Voted
BMCBI
2006
138views more  BMCBI 2006»
15 years 1 months ago
Determination of strongly overlapping signaling activity from microarray data
Background: As numerous diseases involve errors in signal transduction, modern therapeutics often target proteins involved in cellular signaling. Interpretation of the activity of...
Ghislain Bidaut, Karsten Suhre, Jean-Michel Claver...
AUSDM
2007
Springer
110views Data Mining» more  AUSDM 2007»
15 years 8 months ago
Useful Clustering Outcomes from Meaningful Time Series Clustering
Clustering time series data using the popular subsequence (STS) technique has been widely used in the data mining and wider communities. Recently the conclusion was made that it i...
Jason Chen
135
Voted
ASE
2004
148views more  ASE 2004»
15 years 1 months ago
TestEra: Specification-Based Testing of Java Programs Using SAT
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
Sarfraz Khurshid, Darko Marinov
139
Voted
IJCSA
2008
126views more  IJCSA 2008»
15 years 1 months ago
The GOQL Language and its Formal Specifications
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
Euclid Keramopoulos, Philippos Pouyioutas, Tasos P...