2608 search results - page 365 / 522 » Subjects, Models, Languages, Transformations |
158
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
186
click to vote
GPCE
2007
Springer
16 years 20 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
186
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
207
click to vote
VRST
2005
ACM
16 years 2 days ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
183
click to vote
SIGIR
2004
ACM
15 years 12 months ago
2004
ACM
In this paper we study the problem of finding most topical named entities among all entities in a document, which we refer to as focused named entity recognition. We show that th...