9145 search results - page 419 / 1829 » Description Logic Systems |
177
click to vote
WILF
2007
Springer
16 years 29 days ago
2007
Springer
In this paper we explore the application of fuzzy logic and data fusion techniques to improve the performance of passage retrieval in open domain Question Answering Systems (QAS). ...
195
Voted
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
206
Voted
JOT
2007
15 years 6 months ago
2007
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...
247
Voted
KI
2010
Springer
15 years 1 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
