Sciweavers

2904 search results - page 429 / 581
» Number Forms in the Brain
Sort
View
FUIN
2010
97views more  FUIN 2010»
15 years 5 months ago
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
Johan van Benthem, Amélie Gheerbrant
GPEM
2010
180views more  GPEM 2010»
15 years 5 months ago
Developments in Cartesian Genetic Programming: self-modifying CGP
Abstract Self-Modifying Cartesian Genetic Programming (SMCGP) is a general purpose, graph-based, developmental form of Genetic Programming founded on Cartesian Genetic Programming....
Simon Harding, Julian F. Miller, Wolfgang Banzhaf
IANDC
2010
125views more  IANDC 2010»
15 years 5 months ago
Continuation semantics for the Lambek-Grishin calculus
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
Raffaella Bernardi, Michael Moortgat
ICRA
2010
IEEE
128views Robotics» more  ICRA 2010»
15 years 5 months ago
Robotic rehabilitation tasks and measurements of psychophysiological responses
—Rehabilitation robots, together with vision and audio systems form the multimodal environment for exercising the person in a number of ways, unavoidably influencing the physiolo...
Marko Munih, Domen Novak, Jaka Ziherl, Andrej Olen...
ICWS
2010
IEEE
15 years 5 months ago
Enhancing Scalability and Performance of Mashups Through Merging and Operator Reordering
Abstract—Recently, mashups are gaining tremendous popularity as an important Web 2.0 application. Mashups provide end-users with an opportunity to create personalized Web service...
Osama Al-Haj Hassan, Lakshmish Ramaswamy, John A. ...