Sciweavers

26602 search results - page 4983 / 5321
» A New Imaging Model
Sort
View
AI
2004
Springer
15 years 7 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
174
Voted
TVCG
2008
113views more  TVCG 2008»
15 years 7 months ago
A Spreadsheet Approach to Facilitate Visualization of Uncertainty in Information
Information uncertainty is inherent in many problems and is often subtle and complicated to understand. While visualization is a powerful means for exploring and understanding info...
Alexander Streit, Binh Pham, Ross Brown
168
Voted
JSCIC
2007
125views more  JSCIC 2007»
15 years 7 months ago
Discrete Fundamental Solution Preconditioning for Hyperbolic Systems of PDE
We present a new preconditioner for the iterative solution of linear systems of equations arising from discretizations of systems of first order partial differential equations (P...
Henrik Brandén, Sverker Holmgren, Per Sundq...
TVCG
2008
138views more  TVCG 2008»
15 years 7 months ago
Real-Time Path Planning in Dynamic Virtual Environments Using Multiagent Navigation Graphs
We present a novel approach for efficient path planning and navigation of multiple virtual agents in complex dynamic scenes. We introduce a new data structure, Multiagent Navigatio...
Avneesh Sud, Erik Andersen, Sean Curtis, Ming C. L...
JSW
2007
119views more  JSW 2007»
15 years 7 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
« Prev « First page 4983 / 5321 Last » Next »