4167 search results - page 758 / 834 » Evolutionary functional testing |
115
click to vote
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
116
click to vote
ARC
2008
Springer
15 years 1 months ago
2008
Springer
Over the last years, we have witnessed the increased use of Application-Specific Instruction-Set Processors (ASIPs). These ASIPs are processors that have a customizable instruction...
114
click to vote
APSEC
2005
IEEE
15 years 1 months ago
2005
IEEE
Currently there are no Concurrent Versioning Systems (CVS) designed to properly support agile software development. The existing CVS lacks user friendliness and it requires users ...
CIVR
2008
Springer
15 years 1 months ago
2008
Springer
Past research on automatic laughter detection has focused mainly on audio-based detection. Here we present an audiovisual approach to distinguishing laughter from speech and we sh...
117
click to vote
BIOCOMP
2008
15 years 1 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...