357 search results - page 29 / 72 » Isomorphism via translation |
ERCIMDL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
STTT
2010
14 years 6 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
SIGCOMM
2010
ACM
15 years 55 min ago
2010
ACM
Data center networks encode locality and topology information into their server and switch addresses for performance and routing purposes. For this reason, the traditional address...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
The ambitious goal of transfer learning is to accelerate learning on a target task after training on a different, but related, source task. While many past transfer methods have f...
COLING
2002
14 years 11 months ago
2002
Information extraction (IE) systems are costly to build because they require development texts, parsing tools, and specialized dictionaries for each application domain and each na...