548 search results - page 51 / 110 » Attribute Support for Inter-Domain Use |
103
click to vote
POPL
2012
ACM
13 years 5 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 ...
ER
2007
Springer
15 years 4 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,...
CA
1999
IEEE
15 years 2 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...
DEBU
2010
14 years 10 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...
SIGMOD
2011
ACM
14 years 20 days ago
2011
ACM
We consider extending decision support facilities toward large sophisticated networks, upon which multidimensional attributes are associated with network entities, thereby forming...