11462 search results - page 2170 / 2293 » Developing Application-Centric Methods |
230
click to vote
OOPSLA
2007
Springer
16 years 17 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
170
click to vote
SPIN
2007
Springer
16 years 16 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
162
click to vote
VLDB
2007
ACM
16 years 16 days ago
2007
ACM
Outsourcing association rule mining to an outside service provider brings several important benefits to the data owner. These include (i) relief from the high mining cost, (ii) m...
156
click to vote
VMCAI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
176
click to vote
BIBE
2006
IEEE
16 years 15 days ago
2006
IEEE
An interesting and important, but largely ignored question associated with the ML method is whether there exists only a single maximum likelihood point for a given phylogenetic tr...