2370 search results - page 203 / 474 » A Structured Set of Higher-Order Problems |
121
click to vote
DAC
1995
ACM
15 years 7 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
146
click to vote
TOG
2002
15 years 3 months ago
2002
Real-time control of three-dimensional avatars is an important problem in the context of computer games and virtual environments. Avatar animation and control is difficult, howeve...
211
click to vote
ICDE
2001
IEEE
16 years 5 months ago
2001
IEEE
We describe efficient algorithms for accurately estimating the number of matches of a small node-labeled tree, i.e., a twig, in a large node-labeled tree, using a summary data str...
130
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
129
click to vote
JKM
2007
15 years 3 months ago
2007
Purpose: The purpose of this contribution is to motivate a new, rapid approach to modeling knowledge work in organizational settings and to introduce a software tool that demonstr...