Sciweavers

179 search results - page 3 / 36
» The Three Dimensional Logic Engine
Sort
View
TOG
2008
100views more  TOG 2008»
13 years 6 months ago
Interactive procedural street modeling
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
Guoning Chen, Gregory Esch, Peter Wonka, Pascal M&...
APL
1995
ACM
13 years 9 months ago
Infix, Cut and Finite Automata
The behavior of one and two dimensional automata are displayed in two and three dimensions and via animations. Implementations of finite automata in J using "infix" and ...
Clifford A. Reiter
TASE
2010
IEEE
13 years 1 months ago
Surface Patch Reconstruction From "One-Dimensional" Tactile Data
This paper studies the reconstruction of unknown curved surfaces through finger tracking. A patch can be generated from tactile data points along three concurrent surface curves un...
Yan-Bin Jia, Jiang Tian
POPL
2006
ACM
14 years 6 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
ICDE
2009
IEEE
245views Database» more  ICDE 2009»
14 years 8 months ago
WISE: A Workflow Information Search Engine
Workflows are widely used for representing business processes, web services, scientific experiments, and activities in daily life, like recipes. There is an increasing need for peo...
Qihong Shao, Peng Sun, Yi Chen