9110 search results - page 1423 / 1822 » Formally-Based Design Evaluation |
180
click to vote
FLAIRS
2010
15 years 9 months ago
2010
MiBoard (Multiplayer Interactive Board Game) is an online, turnbased board game that was developed to assess the integration of game characteristics (point rewards, game-like inte...
191
click to vote
AAAI
2007
15 years 9 months ago
2007
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...
171
click to vote
AVI
2008
15 years 9 months ago
2008
Multi-touch interfaces have been a focus of research in recent years, resulting in development of various innovative UI concepts. Support for existing WIMP interfaces, however, sh...
170
click to vote
FAST
2008
15 years 9 months ago
2008
In enterprise data centers power usage is a problem impacting server density and the total cost of ownership. Storage uses a significant fraction of the power budget and there are...
203
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Rule extraction is a technique aimed at transforming highly accurate opaque models like neural networks into comprehensible models without losing accuracy. G-REX is a rule extract...