5550 search results - page 547 / 1110 » Different Approaches to Proof Systems |
175
click to vote
CONTEXT
2005
Springer
16 years 1 months ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
224
click to vote
LPNMR
2005
Springer
16 years 28 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
203
click to vote
PATAT
2004
Springer
16 years 24 days ago
2004
Springer
Metaheuristic approaches to examination timetabling problems are usually split up into two phases: initialisation phase in which a heuristic is employed to construct an initial sol...
252
click to vote
ICCPOL
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. This paper describes a methodology for constructing aligned German-Chinese corpora from movie subtitles. The corpora will be used to train a special machine translation s...
194
click to vote
OOIS
2001
Springer
15 years 12 months ago
2001
Springer
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...