1969 search results - page 1 / 394 » Incremental Processing and Acceptability |
COLING
2000
13 years 5 months ago
2000
HASKELL
2009
ACM
13 years 12 months ago
2009
ACM
Structured documents are commonly edited using a free-form editor. Even though every string is an acceptable input, it makes sense to maintain a structured representation of the e...
EWSPT
2000
Springer
13 years 9 months ago
2000
Springer
Competitive quality is a need for the progress of the Information Technology sector. For enterprises, process is the starting point of all the approaches in the achievement of comp...
ICCAD
1994
IEEE
13 years 9 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
ACMICEC
2003
ACM
13 years 10 months ago
2003
ACM
Combinatorial auctions are difficult to analyze in part because of the vast number of potential strategies available to the bidders. Proxy bidding interfaces limit the users’ s...