11484 search results - page 160 / 2297 » Modeling in the Large and Modeling in the Small |
175
click to vote
RC
2002
15 years 6 months ago
2002
A new method to decide the invertibility of a given high-dimensional function over a domain is presented. The problem arises in the field of verified solution of differential algeb...
182
click to vote
INFORMATICALT
2011
15 years 1 months ago
2011
Estimation and modelling problems as they arise in many data analysis areas often turn out to be unstable and/or intractable by standard numerical methods. Such problems frequently...
157
click to vote
RE
2007
Springer
16 years 16 days ago
2007
Springer
Requirements elicitation involves the construction of large sets of conceptual models. An important step in the analysis of these models is checking their consistency. Existing re...
179
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Mappings to structured output spaces (strings, trees, partitions, etc.) are typically learned using extensions of classification algorithms to simple graphical structures (eg., li...
176
click to vote
ANSS
2008
IEEE
16 years 28 days ago
2008
IEEE
—Real-time network simulation refers to simulating computer networks in real time so that the virtual network can interact with real implementations of network protocols, network...