877 search results - page 112 / 176 » How to Cover a Grammar |
83
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
95
Voted
AAAI
2008
15 years 2 months ago
2008
We introduce the problem of zero-data learning, where a model must generalize to classes or tasks for which no training data are available and only a description of the classes or...
CF
2008
ACM
15 years 2 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...
83
Voted
CANDC
2005
ACM
15 years 2 months ago
2005
ACM
Ambience and immersive technological environments allow us to explore some basics of human pragmatics that lie beyond linguistics, intentionality and the subject-agency perspectiv...
105
Voted
HCI
2007
15 years 2 months ago
2007
Improving the quality of life of elderly people is an emerging issue within our information society for both research and development. This paper addresses some issues on the devel...