GI
2009
Springer
13 years 9 months ago
2009
Springer
: As the mobile phone's camera is becoming the most widely available consumer tool for media creation it also opens new possibilities for casual and social form of mobile gami...
GI
2009
Springer
13 years 9 months ago
2009
Springer
Abstract: Modern telecommunications companies currently undergo remarkable structural changes to be successful in the Next-Generation markets for communications and content product...
GI
2009
Springer
13 years 9 months ago
2009
Springer
: When a tactical aircraft sets out on a mission in dense airborne and surface RF (radio frequency) emitter environment, the pilot desires to minimize the use of the onboard fire c...
GI
2009
Springer
13 years 9 months ago
2009
Springer
GI
2009
Springer
13 years 9 months ago
2009
Springer
Abstract: Unkonventionelles Rechnen bezeichnet eine zumeist interdisziplin
FOCS
2009
IEEE
13 years 9 months ago
2009
IEEE
FOCS
2009
IEEE
13 years 9 months ago
2009
IEEE
We give a new model of learning motivated by smoothed analysis (Spielman and Teng, 2001). In this model, we analyze two new algorithms, for PAC-learning DNFs and agnostically learn...
ERSHOV
2009
Springer
13 years 9 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
ERSHOV
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Historically, dynamic techniques are the pioneers of the area of information flow in the 70's. In their seminal work, Denning and Denning suggest a static alternativ...
DLT
2009
13 years 9 months ago
2009
Abstract. We study expansions in non-integer negative base - introduced by Ito and Sadahiro [7]. Using countable automata associated with (-)-expansions, we characterize the case w...