8780 search results - page 224 / 1756 » On the Feasibility of Consistent Computations |
327
click to vote
AOSE
2008
Springer
15 years 9 months ago
2008
Springer
A central problem in software maintenance is change propagation: given a set of primary changes that have been made to software, what additional secondary changes are needed? Altho...
175
click to vote
ACL
2007
15 years 8 months ago
2007
Words of foreign origin are referred to as borrowed words or loanwords. A loanword is usually imported to Chinese by phonetic transliteration if a translation is not easily availa...
230
click to vote
IJCAI
2001
15 years 8 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
277
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper considers the task of closed curve filtering for visual tracking. Segmentation-based visual tracking strategies provide the closed curve measurements to filter. This pap...
199
click to vote
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
15 years 7 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...