Sciweavers

85 search results - page 15 / 17
» tc 2008
Sort
View
LREC
2008
98views Education» more  LREC 2008»
13 years 7 months ago
Unsupervised Resource Creation for Textual Inference Applications
This paper explores how a battery of unsupervised techniques can be used in order to create large, high-quality corpora for textual inference applications, such as systems for rec...
Jeremy Bensley, Andrew Hickl
DAM
2007
83views more  DAM 2007»
13 years 5 months ago
The proof theoretic strength of the Steinitz exchange theorem
We show that the logical theory QLA proves the Cayley–Hamilton theorem from the Steinitz exchange theorem together with a strengthening of the linear independence principle. Sin...
Michael Soltys
IADIS
2004
13 years 7 months ago
Telecollaboration - a case study for performance analysis of voip systems
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
Venkatesh Mahadevan, Zenon Chaczko
ENTCS
2008
87views more  ENTCS 2008»
13 years 5 months ago
The Complexity of Satisfiability for Fragments of CTL and CTL*
The satisfiability problems for CTL and CTL are known to be EXPTIME-complete, resp. 2EXPTIMEcomplete (Fischer and Ladner (1979), Vardi and Stockmeyer (1985)). For fragments that u...
Arne Meier, Martin Mundhenk, Michael Thomas, Herib...
IEICET
2008
121views more  IEICET 2008»
13 years 5 months ago
Multi-Constrained QoS Geographic Routing for Heterogeneous Traffic in Sensor Networks
Sensor nodes report the sensed data packets to the sink and depending on the application these packets may have diverse attributes: time-critical (TC) and non time-critical (NTC). ...
Md. Abdur Razzaque, Muhammad Mahbub Alam, Md. Mamu...