Sciweavers

1693 search results - page 224 / 339
» Pattern-Recognition: a Foundational Approach
Sort
View
COMPSAC
2008
IEEE
15 years 6 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
ESAW
2008
Springer
15 years 6 months ago
Engineering Self-modeling Systems: Application to Biology
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...
Carole Bernon, Davy Capera, Jean-Pierre Mano
121
Voted
FMCAD
2008
Springer
15 years 6 months ago
Optimal Constraint-Preserving Netlist Simplification
Abstract-- We consider the problem of optimal netlist simplification in the presence of constraints. Because constraints restrict the reachable states of a netlist, they may enhanc...
Jason Baumgartner, Hari Mony, Adnan Aziz
AAAI
2010
15 years 6 months ago
Interactive Learning Using Manifold Geometry
We present an interactive learning method that enables a user to iteratively refine a regression model. The user examines the output of the model, visualized as the vertical axis ...
Eric Eaton, Gary Holness, Daniel McFarlane
DAGSTUHL
2007
15 years 6 months ago
Towards a General Framework for Modelling Roles
Role is a widespread concept, it is used in many areas like MAS, Programming Languages, Organizations, Security and OO modelling. Unfortunately, it seems that the literature is not...
Valerio Genovese