549 search results - page 63 / 110 » Verification condition generation for conditional informatio... |
122
Voted
ACL
2009
14 years 10 months ago
2009
We present a novel approach to parse web search queries for the purpose of automatic tagging of the queries. We will define a set of probabilistic context-free rules, which genera...
202
Voted
VLDB
2005
ACM
16 years 24 days ago
2005
ACM
The emergence of a large number of bioinformatics datasets on the Internet has resulted in the need for flexible and efficient approaches to integrate information from multiple bio...
98
Voted
ACL
2012
13 years 3 months ago
2012
Argo is a web-based NLP and text mining workbench with a convenient graphical user interface for designing and executing processing workflows of various complexity. The workbench...
76
Voted
AUTOMATICA
2006
15 years 19 days ago
2006
In this paper, optimal control of linear time-invariant (LTI) systems over unreliable communication links is studied. The motivation of the problem comes from growing applications...
84
Voted
JSAC
2006
15 years 16 days ago
2006
Wireless backhaul communication is expected to play a significant role in providing the necessary backhaul resources for future high-rate wireless networks. Mesh networking, in whi...