3523 search results - page 288 / 705 » Feature interaction in policies |
168
Voted
COLING
2010
15 years 1 months ago
2010
We present in this paper a formal approach for the representation of multimodal information. This approach, thanks to the to use of typed feature structures and hypergraphs, gener...
165
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
This paper reports on issues related to the use of mobile phones by older people. This study uses triangulation, a mixed method of qualitative (focus group discussions) and quanti...
175
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
The use of context as an input is one of the major characteristics of Ubiquitous Computing systems. This paper looks into the structural and the systematic features of context in ...
196
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a tutorial that demonstrates the use of the ACL2 theorem prover. We have three goals: to enable a motivated reader to start on a path towards effective use of ACL2; to...
168
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
A novel asynchronous collaborative visualization system for the chemical sciences has been created as a mash-up between an interactive visualization program and a wiki. The system...