Sciweavers

9507 search results - page 552 / 1902
» Time-based language models
Sort
View
SAC
2006
ACM
16 years 1 months ago
Grouping and aggregation in the concept-oriented data model
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
Alexandr A. Savinov
ESOP
2005
Springer
16 years 19 days ago
A Type System Equivalent to a Model Checker
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
Mayur Naik, Jens Palsberg
CD
2004
Springer
16 years 15 days ago
Deploying Agents with the CORBA Component Model
In the past few years, the Multi-agent systems (MAS) area has presented an accelerated growth. New techniques and tools are constantly being proposed and several methodologies have...
Fabio Melo, Ricardo Choren, Renato Cerqueira, Carl...
ER
2004
Springer
111views Database» more  ER 2004»
16 years 14 days ago
Link Patterns for Modeling Information Grids and P2P Networks
Collaborative work requires, more than ever, access to data located on multiple autonomous and heterogeneous data sources. The development of these novel information platforms, ref...
Christopher Popfinger, Cristian Pérez de La...
MDAFA
2004
Springer
135views Hardware» more  MDAFA 2004»
16 years 13 days ago
Developing a UML Profile for Modelling Knowledge-Based Systems
Knowledge engineers have favoured a diagrammatic approach for developing knowledge-based systems by adopting those used in software engineering. However, these modelling techniques...
Mohd Syazwan Abdullah, Chris Kimble, Richard F. Pa...