3951 search results - page 539 / 791 » Automatic amortized analysis |
197
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
170
click to vote
LREC
2010
15 years 8 months ago
2010
We propose a methodology for a novel type of discourse annotation whose model is tuned to the analysis of a text as narrative. This is intended to be the basis of a "story ba...
164
click to vote
LREC
2010
15 years 8 months ago
2010
This paper presents a new corpus of human answers in natural language. The answers were collected in order to build a base of examples useful when generating natural language answ...
180
click to vote
LREC
2010
15 years 8 months ago
2010
The field of opinion mining has emerged in recent years as an exciting challenge for computational linguistics: investigating how humans express subjective judgments through lingu...
176
click to vote
FORTE
2007
15 years 8 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...