4134 search results - page 293 / 827 » Collaborative Practice Research |
136
click to vote
INFOCOM
1992
IEEE
15 years 8 months ago
1992
IEEE
Aurora is one of ve U.S. testbeds charged with exploring applications of, and technologies necessary for, networks operating at gigabit per second or higher bandwidths. Aurora is...
136
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
167
Voted
ADL
2000
Springer
15 years 9 months ago
2000
Springer
Information retrieval (IR) research has been very active over the last decades to develop approaches that allow machine indexing to significantly improve indexing practice in lib...
141
click to vote
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
Component based software engineering (CBSE) represents an exciting and promising paradigm for software development, attracting much interest and effort from industrial practice an...
146
click to vote
FOMI
2008
15 years 6 months ago
2008
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...