4698 search results - page 931 / 940 » Making Functionality More General |
139
Voted
RV
2010
Springer
15 years 25 days ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
113
click to vote
SIGSOFT
2010
ACM
15 years 9 days ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
133
click to vote
WEBI
2010
Springer
15 years 8 days ago
2010
Springer
Abstract--Search engines have greatly influenced the way people access information on the Internet as such engines provide the preferred entry point to billions of pages on the Web...
138
click to vote
AINA
2009
IEEE
15 years 8 days ago
2009
IEEE
Searching very large collections can be costly in both computation and storage. To reduce this cost, recent research has focused on reducing the size (pruning) of the inverted ind...
159
Voted
EMNLP
2009
15 years 7 days ago
2009
We study graphical modeling in the case of stringvalued random variables. Whereas a weighted finite-state transducer can model the probabilistic relationship between two strings, ...