Sciweavers

2596 search results - page 231 / 520
» Gradual Typing for Objects
Sort
View
DBPL
1991
Springer
76views Database» more  DBPL 1991»
15 years 8 months ago
A Functional DBPL Revealing High Level Optimizations
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
Martin Erwig, Udo W. Lipeck
CPAIOR
2010
Springer
15 years 7 months ago
Automated Configuration of Mixed Integer Programming Solvers
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown
ICONIP
2007
15 years 5 months ago
The Detection of an Approaching Sound Source Using Pulsed Neural Network
Current automobiles’ safety systems based on video cameras and movement sensors fail when objects are out of the line of sight. This paper proposes a system based on pulsed neura...
Kaname Iwasa, Takeshi Fujisumi, Mauricio Kugler, S...
CRIWG
2003
15 years 5 months ago
Exploring Interaction Behaviour and Performance of Online Collaborative Learning Teams
Abstract. Studying and analysing the collaborative behaviour of online learning teams and how this behaviour is related and affects task performance is a complex process. This pap...
Thanasis Daradoumis, Fatos Xhafa, Joan Manuel Marq...
DGO
2003
129views Education» more  DGO 2003»
15 years 5 months ago
Extending XML Web Querying to Heterogeneous Geospatial Information
This paper describes a Web-based query system for semantically heterogeneous geospatial data. Our goal is to provide DBMS type query capabilities to a proposed statewide land info...
Nancy Wiegand, Naijun Zhou, Stephen J. Ventura, Is...