7206 search results - page 1051 / 1442 » Using a Hypermedia System for Systems Engineering |
184
Voted
TAL
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The question answering systems are considered the next generation of search engines. This paper focuses on the first step of this process, which is to search for relevant...
127
Voted
COMPSEC
2010
15 years 1 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
210
click to vote
DKE
2011
15 years 1 days ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
157
click to vote
WWW
2011
ACM
15 years 2 hour ago
2011
ACM
We describe a new method for query completion for Bollywood song search without using query logs. Since song titles in nonEnglish languages (Hindi in our case) are mostly present ...
155
click to vote
KDD
2009
ACM
15 years 12 months ago
2009
ACM
Implicit user feedback, including click-through and subsequent browsing behavior, is crucial for evaluating and improving the quality of results returned by search engines. Severa...