Sciweavers

10271 search results - page 1637 / 2055
» Computer Science
Sort
View
EMSOFT
2011
Springer
14 years 7 months ago
Model-checking behavioral programs
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
David Harel, Robby Lampert, Assaf Marron, Gera Wei...
GECCO
2007
Springer
142views Optimization» more  GECCO 2007»
16 years 1 months ago
Simulations of egoistic and altruistic behaviors using the vidya multiagent system platform
This paper investigates the impacts of individual egoistic and altruistic behaviors in a virtual society built upon the Vidya game, used here as the social simulation and Multiage...
Marcelo Souza Pita, Fernando Buarque de Lima Neto
CHI
2008
ACM
16 years 8 months ago
Friends and foes: ideological social networking
Traditional online social network sites use a single monolithic "friends" relationship to link users. However, users may have more in common with strangers, suggesting t...
Gábor Szabó, Michael J. Brzozowski, ...
OZCHI
2009
ACM
16 years 2 months ago
Using a multi-touch tabletop for upper extremity motor rehabilitation
Millions of people in Canada have impairments that result in a loss of function and directly affect their ability to carry out activities of daily living. Many individuals with di...
Michelle Annett, Fraser Anderson, Darrell Goertzen...
GD
2001
Springer
16 years 2 days ago
Orthogonal Drawings of Plane Graphs without Bends
In an orthogonal drawing of a plane graph each vertex is drawn as a point and each edge is drawn as a sequence of vertical and horizontal line segments. A bend is a point at which...
Md. Saidur Rahman, Mahmuda Naznin, Takao Nishizeki
« Prev « First page 1637 / 2055 Last » Next »