2145 search results - page 361 / 429 » Lax Logical Relations |
136
Voted
TIME
2008
IEEE
15 years 11 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
155
Voted
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
122
Voted
WCRE
2008
IEEE
15 years 11 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...
137
click to vote
WETICE
2008
IEEE
15 years 11 months ago
2008
IEEE
In recent years, many collaborative organizations started to experience the application of methods and tools for semantic-driven service discovery in a P2P-based scenario. A criti...
155
click to vote
DEXAW
2007
IEEE
15 years 11 months ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...