Sciweavers

1729 search results - page 336 / 346
» Deterministic Expressions in C
Sort
View
CAD
2007
Springer
13 years 9 months ago
Direct extraction of surface meshes from implicitly represented heterogeneous volumes
This paper describes a novel algorithm to extract surface meshes directly from implicitly represented heterogeneous models made of different constituent materials. Our approach ca...
Charlie C. L. Wang
JAPLL
2008
91views more  JAPLL 2008»
13 years 9 months ago
Undoing the effects of action sequences
In this paper, we study the following basic problem: After having executed a sequence of actions, find a sequence of actions that brings the agent back to the state just before th...
Thomas Eiter, Esra Erdem, Wolfgang Faber
CORR
2007
Springer
163views Education» more  CORR 2007»
13 years 9 months ago
Personalizing Image Search Results on Flickr
The social media site Flickr allows users to upload their photos, annotate them with tags, submit them to groups, and also to form social networks by adding other users as contact...
Kristina Lerman, Anon Plangprasopchok, Chio Wong
JAIR
2006
157views more  JAIR 2006»
13 years 9 months ago
Decision-Theoretic Planning with non-Markovian Rewards
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
Sylvie Thiébaux, Charles Gretton, John K. S...
JAR
2006
236views more  JAR 2006»
13 years 9 months ago
Deciding Boolean Algebra with Presburger Arithmetic
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard