2409 search results - page 199 / 482 » Logical systems for structured specifications |
222
click to vote
CANS
2006
Springer
15 years 10 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
169
click to vote
LREC
2008
15 years 8 months ago
2008
Producing machine translation (MT) for the many minority languages in the world is a serious challenge. Minority languages typically have few resources for building MT systems. Fo...
165
click to vote
ICSR
2000
Springer
15 years 10 months ago
2000
Springer
A serious problem of most transformation-based generators is that they are trying to achieve three mutually antagonistic goals simultaneously: 1) deeply factored operators and oper...
227
click to vote
DAGSTUHL
2009
15 years 7 months ago
2009
Abstract. In this paper we elaborate on the challenges of learning manifolds that have many relevant clusters, and where the clusters can have widely varying statistics. We call su...
175
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...