553 search results - page 74 / 111 » Learning Meets Verification |
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
The US Military’s ability to meet its mission critical requirements calls for increased agility in its information technology development process. The purpose of this case study...
IAT
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we introduce the Semi-Cooperative Extended Incremental Multiagent Agreement Problem with Preferences (SC-EIMAPP). In SC-EIMAPPs, variables arise over time. For each ...
ICASSP
2008
IEEE
2008
IEEE
Automatic classification of question turns in spontaneous speech using lexical and prosodic evidence
14 years 4 months ago
The ability to identify speech acts reliably is desirable in any spoken language system that interacts with humans. Minimally, such a system should be capable of distinguishing be...
COLCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
—In this paper we describe the evolution of eConference, a text-based conferencing system that has turned into a collaborative platform. We draw the lessons learned from the evol...
CSB
2005
IEEE
14 years 3 months ago
2005
IEEE
Artificial Neural Networks (ANN) were employed to predict daylily (Hemerocalli spp.) hybrids from known characteristics of parents used in hybridization. Features such as height, ...