Sciweavers

2216 search results - page 98 / 444
» Hedging Structured Concepts
Sort
View
WSCG
2001
77views more  WSCG 2001»
15 years 6 months ago
Physics-Enhanced L-Systems
In computer graphics and engineering many classes of complex objects can be designed with L-systems. We present a concept for enhancing timed and parametric L-systems with physics...
Hansrudi Noser, S. Rudolph, Peter Stucki
ENTCS
2010
173views more  ENTCS 2010»
15 years 5 months ago
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin,...
KES
2004
Springer
15 years 10 months ago
Commonsense Reasoning in and Over Natural Language
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
Hugo Liu, Push Singh
131
Voted
DASFAA
2008
IEEE
125views Database» more  DASFAA 2008»
15 years 11 months ago
A Search Engine for Browsing the Wikipedia Thesaurus
Wikipedia has become a huge phenomenon on the WWW. As a corpus for knowledge extraction, it has various impressive characteristics such as a huge amount of articles, live updates, ...
Kotaro Nakayama, Takahiro Hara, Shojiro Nishio
131
Voted
RULEML
2010
Springer
15 years 3 months ago
Norm Compliance in Business Process Modeling
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
Guido Governatori, Antonino Rotolo