259 search results - page 41 / 52 » Underdetermined Source Separation with Structured Source Pri... |
192
click to vote
POPL
2004
ACM
16 years 3 hour ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
118
click to vote
ICML
1994
IEEE
15 years 3 months ago
1994
IEEE
Conservation of information (COI) popularized by the no free lunch theorem is a great leveler of search algorithms, showing that on average no search outperforms any other. Yet in ...
200
click to vote
AWPN
2008
15 years 1 months ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
121
click to vote
MPC
2010
Springer
15 years 1 months ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
IKE
2004
15 years 1 months ago
2004
A serious problem facing many organizations today is the need to share information among systems that have been developed separately. Conflicts in the structure and semantics of t...