2989 search results - page 46 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
ANOR
2002
14 years 9 months ago
2002
A new algorithm for solving smooth large-scale minimization problems with bound constraints is introduced. The way of dealing with active constraints is similar to the one used in...
102
click to vote
IWPC
2007
IEEE
15 years 4 months ago
2007
IEEE
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
JMLR
2008
14 years 9 months ago
2008
We describe and analyze an algorithmic framework for online classification where each online trial consists of multiple prediction tasks that are tied together. We tackle the prob...
103
click to vote
CODES
2004
IEEE
15 years 1 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...