Sciweavers

283 search results - page 25 / 57
» A New DNA Implementation of Finite State Machines
Sort
View
IADIS
2003
13 years 9 months ago
XML User Interfaces for Collaborative Mobile Virtual Communities
In [7], we reported on our experience in building Collaborative Mobile Virtual Communities (CMVC) on the Web. In [8], we proposed a finite state machine model and a new approach t...
Jalal Kawash
OOPSLA
2009
Springer
14 years 2 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
SBACPAD
2003
IEEE
138views Hardware» more  SBACPAD 2003»
14 years 29 days ago
Finite Difference Simulations of the Navier-Stokes Equations Using Parallel Distributed Computing
 This paper discusses the implementation of a numerical algorithm for simulating incompressible fluid flows based on the finite difference method and designed for parallel compu...
João Paulo De Angeli, Andréa M. P. V...
PODS
2007
ACM
171views Database» more  PODS 2007»
14 years 7 months ago
Monadic datalog over finite structures with bounded treewidth
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
Georg Gottlob, Reinhard Pichler, Fang Wei
ISRR
2001
Springer
109views Robotics» more  ISRR 2001»
14 years 4 days ago
Probabilistic Adaptive Agent Based System for Dynamic State Estimation using Multiple Visual Cues
Most of current machine vision systems suffer from a lack of flexibility to account for the high variability of unstructured environments. Here, as the state of the world evolves ...
Alvaro Soto, Pradeep K. Khosla