Sciweavers

19003 search results - page 279 / 3801
» We Need Assurance
Sort
View
POPL
1997
ACM
15 years 10 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
ESWS
2008
Springer
15 years 8 months ago
Automatic Identity Recognition in The Semantic Web
The OKKAM initiative1 has recently highlighted the need of moving from the traditional web towards a "web of entities", where real-world objects descriptions could be ret...
Alfio Ferrara, Davide Lorusso, Stefano Montanelli
AIA
2007
15 years 8 months ago
Adaptive preference elicitation for top-K recommendation tasks using GAI-networks
The enormous number of questions needed to acquire a full preference model when the size of the outcome space is large forces us to work with partial models that approximate the u...
Sérgio R. de M. Queiroz
AAAI
2010
15 years 8 months ago
Lifting Rationality Assumptions in Binary Aggregation
We consider problems where several individuals each need to make a yes/no choice regarding a number of issues and these choices then need to be aggregated into a collective choice...
Umberto Grandi, Ulle Endriss
GAMEON
2008
15 years 8 months ago
Automatable Evaluation Method Oriented toward Behaviour Believability for Video Games
Classic evaluation methods of believable agents are time-consuming because they involve many human to judge agents. They are well suited to validate work on new believable behavio...
Fabien Tencé, Cédric Buche