15660 search results - page 140 / 3132 » The Unbalance of Set Systems |
155
click to vote
LREC
2010
15 years 8 months ago
2010
This paper introduces the Ariadne Corpus Management System. First, the underlying data model is presented which enables users to represent and process heterogeneous data sets with...
167
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
The dynamics of biological processes are often modeled as systems of nonlinear ordinary differential equations (ODE). An important feature of nonlinear ODEs is that seemingly minor...
198
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
161
click to vote
CLIMA
2004
15 years 8 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
213
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...