3185 search results - page 233 / 637 » Domain and language evaluation results |
178
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
181
Voted
VAMOS
2009
Springer
16 years 1 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
161
click to vote
HICSS
2003
IEEE
16 years 22 min ago
2003
IEEE
The objective of this paper is to provide a unified, theoretically grounded framework for trust in electronic environments. An overview of the research on trust is presented, exam...
116
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
The current study reports specific cases in which a positive transfer of perceptual ability from the music domain to the language domain occurs. We tested whether musical training...
164
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Tree structures provide a popular means to organize the information on the Web. Taxonomies of thematic categories, concept hierarchies, e-commerce product catalogs are ex...