1626 search results - page 60 / 326 » Subtyping with Power Types |
188
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
191
click to vote
PKDD
2009
Springer
16 years 21 days ago
2009
Springer
We propose a new, recursive model to generate realistic graphs, evolving over time. Our model has the following properties: it is (a) flexible, capable of generating the cross pro...
154
click to vote
IFL
2001
Springer
15 years 10 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
171
click to vote
COMSIS
2006
15 years 6 months ago
2006
Web applications security is one of the most daunting tasks today, because of security shift from lower levels of ISO OSI model to application level, and because of current situati...
139
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
Stability analysis of a baseline power system architecture for modern aircraft is addressed. Power electronic converters are widely used in modern aircraft power distribution syst...