Sciweavers

7715 search results - page 151 / 1543
» Visual Rules Modeling
Sort
View
PERVASIVE
2006
Springer
14 years 10 months ago
iCAP: Interactive Prototyping of Context-Aware Applications
Although numerous context-aware applications have been developed and there have been technological advances for acquiring contextual information, it is still difficult to develop a...
Anind K. Dey, Timothy Sohn, Sara Streng, Justin Ko...
AMAI
2011
Springer
13 years 10 months ago
Similarity measures in formal concept analysis
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
Faris Alqadah, Raj Bhatnagar
85
Voted
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 3 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
85
Voted
VISUALIZATION
2002
IEEE
15 years 3 months ago
Compressing Polygon Mesh Geometry with Parallelogram Prediction
In this paper we present a generalization of the geometry coder by Touma and Gotsman [34] to polygon meshes. We let the polygon information dictate where to apply the parallelogra...
Martin Isenburg, Pierre Alliez
ICML
2006
IEEE
15 years 11 months ago
A statistical approach to rule learning
We present a new, statistical approach to rule learning. Doing so, we address two of the problems inherent in traditional rule learning: The computational hardness of finding rule...
Stefan Kramer, Ulrich Rückert