2409 search results - page 405 / 482 » Logical systems for structured specifications |
140
Voted
NIPS
2001
15 years 4 months ago
2001
We show that states of a dynamical system can be usefully represented by multi-step, action-conditional predictions of future observations. State representations that are grounded...
118
Voted
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Blogs are becoming an increasingly important medium-socially, academically, and politically. Much research has involved analyzing blogs, but less work has considered how such anal...
130
Voted
EL
2008
15 years 3 months ago
2008
CDS/ISIS is an Integrated Storage and Information retrieval System of United Nations Educational Scientific and Cultural Organization (UNESCO), which is widely used for managing bi...
130
Voted
DKE
2006
15 years 3 months ago
2006
In recent years, the management and processing of so-called data streams has become a topic of active research in several fields of computer science such as, e.g., distributed sys...
124
Voted
IJFCS
2006
15 years 3 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...