1514 search results - page 283 / 303 » Accessible User Interfaces in a Mobile Logistics System |
ICMCS
2007
IEEE
14 years 2 months ago
2007
IEEE
As more and more tools are developed for meeting support tasks, properly using these tools to get expected results becomes too complicated for many meeting participants. To addres...
CONTEXT
2007
Springer
14 years 2 months ago
2007
Springer
The paper focuses on a difficult problem when formalizing knowledge: What about the possible concepts that didn’t make it into the formalization? We call such concepts the uncons...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, a high-level optimization methodology is applied for the implementation of the well-known Convolutional Face Finder (CFF) algorithm for real-time applications on ce...
KBSE
1994
IEEE
14 years 22 days ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
ICFP
1999
ACM
14 years 28 days ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...