Sciweavers

3625 search results - page 150 / 725
» On choosing
Sort
View
IFL
2005
Springer
116views Formal Methods» more  IFL 2005»
16 years 18 days ago
Proof Tool Support for Explicit Strictness
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
Marko C. J. D. van Eekelen, Maarten de Mol
INTETAIN
2005
Springer
16 years 18 days ago
PeaceMaker: A Video Game to Teach Peace
PeaceMaker is a computer game simulation of the Israeli-Palestinian conflict. It is a tool that can be used to teach Israeli and Palestinian teenagers how both sides can work toget...
Asi Burak, Eric Keylor, Tim Sweeney
181
Voted
KI
2005
Springer
16 years 18 days ago
Selecting What Is Important: Training Visual Attention
We present a new, sophisticated algorithm to select suitable training images for our biologically motivated attention system VOCUS. The system detects regions of interest depending...
Simone Frintrop, Gerriet Backer, Erich Rome
MICAI
2005
Springer
16 years 18 days ago
Maximizing Future Options: An On-Line Real-Time Planning Method
Abstract. In highly dynamic environments with uncertainty the elaboration of long or rigid plans is useless because the constructed plans are frequently dismissed by the arrival or...
Ramón F. Brena, Emmanuel Martinez
169
Voted
PAM
2005
Springer
16 years 18 days ago
Measuring Bandwidth Between PlanetLab Nodes
With the lack of end-to-end QoS guarantees on existing networks, applications that require certain performance levels resort to periodic measurements of network paths. Typical metr...
Sung-Ju Lee, Puneet Sharma, Sujata Banerjee, Sujoy...