2586 search results - page 242 / 518 » Automatic Abstraction for Congruences |
187
click to vote
AH
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
173
click to vote
ACSD
2007
IEEE
16 years 29 days ago
2007
IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
143
Voted
DASFAA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract. This demonstration presents OntoDB, a prototype that allows to store explicitly in the database not only the data, but also the conceptual model defining the structure o...
180
click to vote
QEST
2007
IEEE
16 years 27 days ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
131
click to vote
SCAM
2007
IEEE
16 years 27 days ago
2007
IEEE
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...