Sciweavers

722 search results - page 52 / 145
» A New Framework for Computer Science and Engineering
Sort
View

Book
316views
16 years 5 months ago
Aspects of AJAX
"This book is about an AJAX Framework and an AJAX Engine for JavaScript, XML, SOAP, WSDL und ASP.NET using standard Web Services on the server. The basic elements for a...
Matthias Hertel
IJCAI
2007
14 years 11 months ago
Tractable Temporal Reasoning
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
Clare Dixon, Michael Fisher, Boris Konev
GI
2010
Springer
14 years 7 months ago
Semantics and Execution of Domain Specific Models
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
Christian Motika, Hauke Fuhrmann, Reinhard von Han...
ICALP
2007
Springer
15 years 3 months ago
Linear Problem Kernels for NP-Hard Problems on Planar Graphs
Abstract. We develop a generic framework for deriving linear-size problem kernels for NP-hard problems on planar graphs. We demonstrate the usefulness of our framework in several c...
Jiong Guo, Rolf Niedermeier
SIGGRAPH
2000
ACM
15 years 2 months ago
Computer modelling of fallen snow
In this paper, we present a new model of snow accumulation and stability for computergraphics. Our contribution is divided into two major components, each essential for modelling ...
Paul Fearing