24554 search results - page 241 / 4911 » Dependable distributed systems |
209
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
176
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The acceleration of acoustic likelihood calculation has been an important research issue for developing practical speech recognition systems. And there are various specification ...
184
click to vote
EMNLP
2011
14 years 6 months ago
2011
We present a simple method for transferring dependency parsers from source languages with labeled training data to target languages without labeled training data. We first demons...
150
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
162
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
An approach to software development is sketched in which problem structuring is separated from software architecture. The problem is decomposed into subproblems of familiar classes...