4287 search results - page 302 / 858 » Minimal Mental Models |
195
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. Nested data-parallel programs often have large memory requirements due to their high degree of parallelism. Piecewise execution is an implementation technique used to min...
192
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Mobile workers need seamless access to communication and information services on portable devices. However current solutions overwhelm users with intrusive and ambiguous notificat...
204
click to vote
JMLC
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
237
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
172
click to vote
LPAR
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we determine the complexity of propositional theory curbing. Theory Curbing is a nonmonotonic technique of common sense reasoning that is based on model minimality b...