Sciweavers

7766 search results - page 310 / 1554
» Testing Nondeterminate Systems
Sort
View
CEC
2010
IEEE
15 years 7 months ago
Coordinate System Archive for coevolution
Problems in which some entities interact with each other are common in computational intelligence. This scenario, typical for co-evolving artificial-life agents, learning strategie...
Wojciech Jaskowski, Krzysztof Krawiec
ICASSP
2010
IEEE
15 years 6 months ago
Revisiting the security of speaker verification systems against imposture using synthetic speech
In this paper, we investigate imposture using synthetic speech. Although this problem was first examined over a decade ago, dramatic improvements in both speaker verification (S...
Phillip L. De Leon, Vijendra Raj Apsingekar, Micha...
JBI
2007
122views Bioinformatics» more  JBI 2007»
15 years 6 months ago
A framework for information system usage in collaborative care
Clinical information systems (CIS) can affect the quality of patient care. In this paper, we focus on CIS use in the collaborative treatment of chronic diseases. We have develope...
David A. Dorr, Spencer S. Jones, Adam B. Wilcox
AROBOTS
2002
67views more  AROBOTS 2002»
15 years 6 months ago
A System for Semi-Autonomous Tractor Operations
Tractors are the workhorses of the modern farm. By automating these machines, we can increase the productivity, improve safety, and reduce costs for many agricultural operations. ...
Anthony Stentz, Cristian Dima, Carl Wellington, He...
CMSB
2009
Springer
16 years 1 months ago
A Bayesian Approach to Model Checking Biological Systems
Recently, there has been considerable interest in the use of Model Checking for Systems Biology. Unfortunately, the state space of stochastic biological models is often too large f...
Sumit Kumar Jha, Edmund M. Clarke, Christopher Jam...