Sciweavers

2730 search results - page 175 / 546
» An Abstract Model for Process Mediation
Sort
View
SEMWEB
2010
Springer
15 years 3 months ago
Semantic Techniques for Enabling Knowledge Reuse in Conceptual Modelling
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
Jorge Gracia del Río, Jochem Liem, Esther L...
CONCUR
2009
Springer
16 years 5 days 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 10 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
149
Voted
FCS
2006
15 years 7 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
122
Voted
JGS
2000
88views more  JGS 2000»
15 years 5 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