4341 search results - page 42 / 869 » Quantitative Model checking |
ASC
2007
13 years 9 months ago
2007
Most real world engineering design optimisation approaches reported in the literature aim to find the best set of solutions using computationally expensive quantitative (QT ) mode...
JCISD
2002
13 years 8 months ago
2002
High performance liquid chromatography (HPLC) with ultraviolet (UV) spectrophotometric detection is a common method for analyzing reaction products in organic chemistry. This proc...
JODS
2006
13 years 8 months ago
2006
Defining and using ontology to annotate web resources with semantic markups is generally perceived as the primary way to implement the vision of the Semantic Web. The ontology prov...
ACL
2001
13 years 10 months ago
2001
This paper describes the application of the PARADISE evaluation framework to the corpus of 662 human-computer dialogues collected in the June 2000 Darpa Communicator data collecti...
GW
2007
Springer
14 years 3 months ago
2007
Springer
This paper addresses the identification and representation of the variations induced by style for the synthesis of realistic and convincing expressive gesture sequences. A qualita...