7918 search results - page 1099 / 1584 » Model Composition Directives |
200
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
Quantile regression refers to the process of estimating the quantiles of a conditional distribution and has many important applications within econometrics and data mining, among ...
181
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
With the multiplication of communication medium, the increasing multi-partner global organizations, the remote working tendencies, dynamic teams, pervasive or ubiquitous computing ...
202
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
197
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Visual servoing schemes generally employ various image features (points, lines, moments etc.) in their control formulation. This paper presents a novel method for using boundar...
164
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...