23036 search results - page 380 / 4608 » Sketching informal presentations |
304
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Conditional functional dependencies (CFDs) have recently been proposed as extensions of classical functional dependencies that apply to a certain subset of the relation, as specif...
171
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Interaction designers typically revise user interface prototypes by adding unstructured notes to storyboards and screen printouts. How might computational tools increase the effic...
169
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: Public transport plays an important role in our society which is characterized by mobility, individuality, comfort and ecological constraints. It is common opinion that public tr...
190
click to vote
WLP
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
204
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...