Sciweavers

1469 search results - page 110 / 294
» Structural aspects of tilings
Sort
View
CNL
2009
15 years 12 days ago
On Controlled Natural Languages: Properties and Prospects
This collaborative report highlights the properties and prospects of Controlled Natural Languages (CNLs). The report poses a range of questions concerning the goals of the CNL, the...
Adam Wyner, Krasimir Angelov, Guntis Barzdins, Dan...
GG
2008
Springer
15 years 11 days ago
Resolution-Like Theorem Proving for High-Level Conditions
The tautology problem is the problem to prove the validity of statements. In this paper, we present a calculus for this undecidable problem on graphical conditions, prove its sound...
Karl-Heinz Pennemann
JECR
2002
136views more  JECR 2002»
14 years 11 months ago
Trust in Electronic Commerce Business Relationships
The concept of trust in electronic commerce literature has emerged over recent years. Whilst trust has always been an aspect of business generally, in the digital economy it has t...
Antony Bryant, Barbara Colledge
SAC
2002
ACM
14 years 11 months ago
An infrastructure language for open nets
The structure of open nets, like the Internet, is highly dynamic, as the topology of component networks continuously evolves. In this context, node connectivity is a key aspect an...
Lorenzo Bettini, Michele Loreti, Rosario Pugliese
JAISE
2011
243views more  JAISE 2011»
14 years 6 months ago
Safeguards in a world of ambient intelligence: A social, economic, legal, and ethical perspective
The book “Safeguards in a world of ambient intelligence” is unique in its kind. It discusses social, economic, legal, technological and ethical issues related to identity, priv...
Egon L. van den Broek