42507 search results - page 33 / 8502 » On the analysis of |
119
click to vote
AUTOMATICA
2008
15 years 2 months ago
2008
This paper presents a new numerical algorithm based on interval analysis able to prove that a differentiable function f : A Rn Rn is injective. This algorithm also performs a par...
108
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely...
SMALLTALK
2007
Springer
15 years 8 months ago
2007
Springer
To extract abstract views of the behavior of an object-oriented system for reverse engineering, a body of research exists that analyzes a system’s runtime execution. Those approa...
117
click to vote
IEEEICCI
2005
IEEE
15 years 7 months ago
2005
IEEE
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
111
click to vote
CC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...