Sciweavers

1324 search results - page 176 / 265
» Models for Representing Task Ontologies
Sort
View
ICASSP
2008
IEEE
14 years 4 months ago
Language recognition with discriminative keyword selection
One commonly used approach for language recognition is to convert the input speech into a sequence of tokens such as words or phones and then to use these token sequences to deter...
Fred S. Richardson, William M. Campbell
HICSS
2002
IEEE
80views Biometrics» more  HICSS 2002»
14 years 3 months ago
Collaboration between Writer and Reviewer through Change Representation Tools
Change representation concerns how changes of text are presented in writing tools. Change representation in collaborative writing can play an important role for the collaborators&...
Hee-Cheol (Ezra) Kim, Kerstin Severinson Eklundh
FORMATS
2004
Springer
14 years 1 months ago
Decomposing Verification of Timed I/O Automata
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
Dilsun Kirli Kaynar, Nancy A. Lynch
FLAIRS
2007
14 years 12 days ago
Pattern-Constrained Test Case Generation
In this paper we present a novel approach for patternconstrained test case generation. The generation of test cases with known characteristics is usually a non-trivial task. In co...
Martin Atzmüller, Joachim Baumeister, Frank P...
WSC
2007
14 years 12 days ago
Simulation of time to first water application for the First Interstate Bank fire
On May 4, 1988 a fire occurred after hours on the 12th floor of the First Interstate Bank building, a 62 story steelframe office tower in Los Angeles California. The sprinkler sys...
Robert Till