892 search results - page 129 / 179 » Strategies in sentential reasoning |
139
click to vote
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
104
Voted
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
Because of the great variability of factors to take into account, designing a spoken dialogue system is still a tailoring task. Rapid design and reusability of previous work is ma...
104
click to vote
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Directional antennas are a promising option for use in ad-hoc networks for a variety of reasons, such as increased spatial reuse, reduced interference and enabling more effici...
73
Voted
NORDICHI
2006
ACM
15 years 6 months ago
2006
ACM
This paper investigates the suitability of current phrase sets available in HCI for use with children in text entry experiments. It first examines the use of phrase sets within te...
123
Voted
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...