1626 search results - page 60 / 326 » Subtyping with Power Types |
150
Voted
POPL
2012
ACM
13 years 11 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...
153
Voted
PKDD
2009
Springer
15 years 10 months 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...
127
Voted
IFL
2001
Springer
15 years 8 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 ...
137
Voted
COMSIS
2006
15 years 3 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...
111
Voted
ISCAS
1999
IEEE
15 years 8 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...