1750 search results - page 249 / 350 » Formal multiple-bernoulli models for language modeling |
FM
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
101
click to vote
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
TCS
2002
14 years 9 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
DSOM
2005
Springer
15 years 3 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...