Sciweavers

1754 search results - page 108 / 351
» What's new in informatics
Sort
View
SIGKDD
2008
113views more  SIGKDD 2008»
13 years 9 months ago
On exploiting the power of time in data mining
We introduce the new paradigm of Change Mining as data mining over a volatile, evolving world with the objective of understanding change. While there is much work on incremental m...
Mirko Böttcher, Frank Höppner, Myra Spil...
TOCL
2008
102views more  TOCL 2008»
13 years 9 months ago
Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...
Helmut Seidl, Kumar Neeraj Verma
RC
2002
96views more  RC 2002»
13 years 9 months ago
Verification of Invertibility of Complicated Functions over Large Domains
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
Jens Hoefkens, Martin Berz
ISSRE
2010
IEEE
13 years 8 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
SIGDIAL
2010
13 years 7 months ago
Advances in the Witchcraft Workbench Project
The Workbench for Intelligent exploraTion of Human ComputeR conversaTions is a new platform-independent open-source workbench designed for the analysis, mining and management of l...
Alexander Schmitt, Wolfgang Minker, Nada Sharaf