4460 search results - page 778 / 892 » Formal methods for interactive systems |
132
Voted
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...
157
Voted
EKAW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
150
click to vote
RV
2007
Springer
15 years 9 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
166
Voted
SIGGRAPH
1996
ACM
15 years 7 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...
139
Voted
ACL
2006
15 years 5 months ago
2006
The LOGON MT demonstrator assembles independently valuable general-purpose NLP components into a machine translation pipeline that capitalizes on output quality. The demonstrator ...