3818 search results - page 15 / 764 » Word Problems on Compressed Words |
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. Metric Temporal Logic (MTL) is a prominent specification formalism for realtime systems. In this paper, we show that the satisfiability problem for MTL over finite tim...
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
PKIP, Patterned Keywords in Phrase, is our feature selection approach to text categorization (TC) for item banks. An item bank is a collection of textual data in which each item c...
160
Voted
WSTST
2005
Springer
15 years 3 months ago
2005
Springer
Synonymy – different words with the same meaning – is a major problem for text mining systems. We have proposed asymmetric word similarities as a possible solution to this prob...
107
click to vote
ICCAD
2007
IEEE
15 years 1 months ago
2007
IEEE
Abstract-- In this paper, we propose a novel test data compression technique named CacheCompress, which combines selective encoding and dynamic dictionary based encoding. Depending...
AAAI
2000
14 years 11 months ago
2000
Selecting the right word translation among several options in the lexicon is a core problem for machine translation. We present a novel approach to this problem that can be traine...