4255 search results - page 605 / 851 » Cover |
176
click to vote
ATMOS
2007
15 years 8 months ago
2007
We face a real-world train unit assignment problem for an operator running trains in a regional area. Given a set of timetabled train trips, each with a required number of passenge...
173
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
153
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
Using a specific machine learning technique, this paper proposes a way to identify suspicious statements during debugging. The technique is based on principles similar to Tarantul...
179
click to vote
ACL
2008
15 years 8 months ago
2008
This paper presents a translation model that is based on tree sequence alignment, where a tree sequence refers to a single sequence of subtrees that covers a phrase. The model lev...
180
click to vote
AAAI
2010
15 years 8 months ago
2010
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...