Sciweavers

1087 search results - page 88 / 218
» The DecideIT Decision Tool
Sort
View
DATAMINE
2002
125views more  DATAMINE 2002»
13 years 7 months ago
High-Performance Commercial Data Mining: A Multistrategy Machine Learning Application
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...
William H. Hsu, Michael Welge, Thomas Redman, Davi...
CADE
2009
Springer
14 years 8 months ago
Real World Verification
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
André Platzer, Jan-David Quesel, Philipp R&...
TOOLS
2009
IEEE
14 years 2 months ago
Early Crosscutting Metrics as Predictors of Software Instability
Many researchers claim that crosscutting concerns, which emerge in early software development stages, are harmful to software stability. On the other hand, there is a lack of effec...
José María Conejero, Eduardo Figueir...
SOCA
2007
IEEE
14 years 2 months ago
A Service-oriented Architecture for Business Intelligence
Business intelligence is a business management term used to describe applications and technologies which are used to gather, provide access to and analyze data and information abo...
Liya Wu, Gilad Barash, Claudio Bartolini
IROS
2006
IEEE
116views Robotics» more  IROS 2006»
14 years 1 months ago
XABSL - A Pragmatic Approach to Behavior Engineering
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
Martin Lötzsch, Max Risler, Matthias Jün...