Sciweavers

1559 search results - page 44 / 312
» Fundamentals of Generic Programming
Sort
View
PPDP
2010
Springer
14 years 8 months ago
Generic record combinators with static type checking
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
Wolfgang Jeltsch
ICINCO
2008
135views Robotics» more  ICINCO 2008»
14 years 11 months ago
A Generic Architecture for a Companion Robot
Despite much research on companion robots and affective virtual characters, a comprehensive discussion on a generic architecture is lacking. We compile a list of possible requireme...
Bas R. Steunebrink, Nieske L. Vergunst, Christian ...
TLDI
2009
ACM
111views Formal Methods» more  TLDI 2009»
15 years 6 months ago
A generic type-and-effect system
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
Daniel Marino, Todd D. Millstein
CHI
1994
ACM
15 years 1 months ago
User preferences for task-specific vs. generic application software
We conducted an ethnographic study to investigate the use of generic vs. task-specific application software by people who create and maintain presentation slides. Sixteen people w...
Bonnie A. Nardi, Jeff A. Johnson
ANOR
2002
67views more  ANOR 2002»
14 years 9 months ago
An Improved Hybrid Model for the Generic Hoist Scheduling Problem
Abstract. The generic hoist scheduling problem is NP-hard and arises from automated manufacturing lines. In recent work using the constraint logic programming (CLP) formalism, a un...
Daniel Riera, Neil Yorke-Smith