Sciweavers

6549 search results - page 708 / 1310
» Parsimonious additive models
Sort
View
ECSQARU
2009
Springer
15 years 11 months ago
The Non-archimedean Polynomials and Merging of Stratified Knowledge Bases
In this paper, a new algebraic representation by the non-Archimedean fields is proposed to model stratified/ranked knowledge bases. The non-Archimedean representation is in the for...
Jianbing Ma, Weiru Liu, Anthony Hunter
HASKELL
2007
ACM
15 years 11 months ago
A lightweight interactive debugger for haskell
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
Simon Marlow, José Iborra, Bernard Pope, An...
187
Voted
FASE
2009
Springer
15 years 11 months ago
Object Flow Definition for Refined Activity Diagrams
Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we ref...
Stefan Jurack, Leen Lambers, Katharina Mehner, Gab...
ICCCN
2007
IEEE
15 years 11 months ago
TCP-ENG: Dynamic Explicit Congestion Notification for TCP over OBS Networks
Transport Control Protocol (TCP) has served as a reliable, self-regulated, and congestion tolerant transport protocol for many Internet applications. Relatively, limited knowledge ...
Basem Shihada, Pin-Han Ho, Qiong Zhang
HYBRID
2009
Springer
15 years 11 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...