Sciweavers

2556 search results - page 148 / 512
» The Triconnected Abstraction of Process Models
Sort
View
TIP
2010
119views more  TIP 2010»
15 years 1 months ago
Fast Cartoon + Texture Image Filters
Abstract--Can images be decomposed into the sum of a geometric part and a textural part? In a theoretical breakthrough, [Y. Meyer, Oscillating Patterns in Image Processing and Nonl...
Antoni Buades, Triet M. Le, Jean-Michel Morel, Lum...
CONCUR
2009
Springer
16 years 1 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
ITS
2010
Springer
171views Multimedia» more  ITS 2010»
15 years 11 months ago
Identifying Problem Localization in Peer-Review Feedback
Abstract. In this paper, we use supervised machine learning to automatically identify the problem localization of peer-review feedback. Using five features extracted via Natural L...
Wenting Xiong, Diane J. Litman
FCS
2006
15 years 8 months ago
Matrix L-System and Paper Folding with Scissors
Abstract A valiant of L-system called `matrix L-system' is introduced to model the folding process of a square paper into small polygons (rectangles or triangles). Using this ...
Katsushi Inoue, Akira Ito, Yue Wang
147
Voted
JGS
2000
88views more  JGS 2000»
15 years 6 months ago
Part 4 Technology and the future of GIS and spatial analysis
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
Andrew U. Frank