548 search results - page 51 / 110 » Attribute Support for Inter-Domain Use |
146
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
109
Voted
ER
2007
Springer
15 years 9 months ago
2007
Springer
Integration of large databases by expert teams is only a small part of the data integration activities that take place. Users without data integration expertise very often gather,...
133
click to vote
CA
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents an interactive hierarchical motion control system dedicated to the animation of human figure locomotion in virtual environments. As observed in gait experiment...
150
Voted
DEBU
2010
15 years 3 months ago
2010
Microsoft StreamInsight is a platform for developing and deploying streaming applications. StreamInsight embraces a temporal stream model to unify and further enrich query languag...
157
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We consider extending decision support facilities toward large sophisticated networks, upon which multidimensional attributes are associated with network entities, thereby forming...