Sciweavers

215 search results - page 19 / 43
» An Improvement of a Function Computing Normalizers for Permu...
Sort
View
ICFP
2007
ACM
14 years 9 months ago
Relating complexity and precision in control flow analysis
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
David Van Horn, Harry G. Mairson
BMVC
2001
13 years 11 months ago
Tracking multiple sports players through occlusion, congestion and scale
Tracking sports players over a large playing area is a challenging problem. The players move quickly, and have large variations in their silhouettes. This paper presents a framewo...
Chris J. Needham, Roger D. Boyle
BMCBI
2007
144views more  BMCBI 2007»
13 years 9 months ago
Motif kernel generated by genetic programming improves remote homology and fold detection
Background: Protein remote homology detection is a central problem in computational biology. Most recent methods train support vector machines to discriminate between related and ...
Tony Håndstad, Arne J. H. Hestnes, Pål...
CE
2004
128views more  CE 2004»
13 years 8 months ago
The role of educational software as a support for teaching and learning conversations
: Much recent educational research focuses on teaching and learning within classroom conversations. This raises the question of the role of ICT as a support for such conversations....
Rupert Wegerif
IMECS
2007
13 years 10 months ago
Knowledge Acquisition from Computer Log Files by ADG with Variable Agent Size
Abstract—We had previously proposed an outstanding evolutionary method, Automatically Defined Groups (ADG), for generating heterogeneous cooperative agents, and then we had deve...
Akira Hara, Yoshiaki Kurosawa, Takumi Ichimura