3828 search results - page 360 / 766 » Proof-Based System Engineering Using a Virtual System Model |
200
click to vote
ACL
2012
13 years 9 months ago
2012
In this paper, we present a new method for learning to finding translations and transliterations on the Web for a given term. The approach involves using a small set of terms and ...
201
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
134
click to vote
CGO
2006
IEEE
16 years 23 days ago
2006
IEEE
Dynamic optimization relies on phase detection for two important functions (1) To detect change in code working set and (2) To detect change in performance characteristics that ca...
162
Voted
ACL
1998
15 years 8 months ago
1998
It seems obvious that a successful model of natural language would incorporate a great deal of both linguistic and world knowledge. Interestingly, state of the art language models...
180
click to vote
ESCIENCE
2006
IEEE
16 years 23 days ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...