Sciweavers

10271 search results - page 1637 / 2055
» Computer Science
Sort
View
EMSOFT
2011
Springer
14 years 6 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 29 days 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 7 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 1 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...
191
Voted
GD
2001
Springer
15 years 11 months 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 »