Sciweavers

4842 search results - page 846 / 969
» A Calculus for Data Mapping
Sort
View
BCS
2008
15 years 7 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
BILDMED
2007
115views Algorithms» more  BILDMED 2007»
15 years 7 months ago
Method for Projecting Functional 3D Information onto Anatomic Surfaces
Today the main challenge in cancer surgery is increasing the accuracy in tumor resections. Malignant cells must be completely removed, while harm to the surrounding healthy tissue ...
Oleg Kishenkov, Thomas Wendler, Jörg Traub, S...
147
Voted
LREC
2010
152views Education» more  LREC 2010»
15 years 7 months ago
NPCEditor: A Tool for Building Question-Answering Characters
NPCEditor is a system for building and deploying virtual characters capable of engaging a user in spoken dialog on a limited domain. The dialogue may take any form as long as the ...
Anton Leuski, David R. Traum
152
Voted
FORTE
2008
15 years 7 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
158
Voted
IJCAI
2007
15 years 7 months ago
Learning Policies for Embodied Virtual Agents through Demonstration
Although many powerful AI and machine learning techniques exist, it remains difficult to quickly create AI for embodied virtual agents that produces visually lifelike behavior. T...
Jonathan Dinerstein, Parris K. Egbert, Dan Ventura