Sciweavers

2433 search results - page 319 / 487
» Power laws in software
Sort
View
HASKELL
2008
ACM
15 years 7 months ago
Making monads first-class with template haskell
Monads as an organizing principle for programming and semantics are notoriously difficult to grasp, yet they are a central and powerraction in Haskell. This paper introduces a do...
Pericles S. Kariotis, Adam M. Procter, William L. ...
AIMS
2010
Springer
15 years 6 months ago
Adaptive Underwater Acoustic Communications
Underwater wireless networks consist of mobile and static nodes, which usually communicate using the acoustic channel since radio transmissions attenuate rapidly and optical commun...
Anuj Sehgal, Jürgen Schönwälder
CORR
2007
Springer
68views Education» more  CORR 2007»
15 years 6 months ago
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
KI
2008
Springer
15 years 6 months ago
Visual-Based Emotion Detection for Natural Man-Machine Interaction
Abstract. The demand for humanoid robots as service robots for everyday life has increased during the last years. The processing power of the hardware and the development of comple...
Samuel Strupp, Norbert Schmitz, Karsten Berns
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch