Sciweavers

10457 search results - page 1734 / 2092
» Data Mapping as Search
Sort
View
FORTE
2008
15 years 8 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...
IJCAI
2007
15 years 8 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
LREC
2008
146views Education» more  LREC 2008»
15 years 8 months ago
ProPOSEL: A Prosody and POS English Lexicon for Language Engineering
ProPOSEL is a prototype prosody and PoS (part-of-speech) English lexicon for Language Engineering, derived from the following language resources: the computer-usable dictionary CU...
Claire Brierley, Eric Atwell
RSS
2007
159views Robotics» more  RSS 2007»
15 years 8 months ago
Gaussian Beam Processes: A Nonparametric Bayesian Measurement Model for Range Finders
— In probabilistic mobile robotics, the development of measurement models plays a crucial role as it directly influences the efficiency and the robustness of the robot’s perf...
Christian Plagemann, Kristian Kersting, Patrick Pf...
UAI
2008
15 years 8 months ago
Feature Selection via Block-Regularized Regression
Identifying co-varying causal elements in very high dimensional feature space with internal structures, e.g., a space with as many as millions of linearly ordered features, as one...
Seyoung Kim, Eric P. Xing
« Prev « First page 1734 / 2092 Last » Next »