Previous
CORES - Complex Organizational Reasoning System1
White Papers This paper highlights about the Complex Organizational Reasoning System (CORES) which is a multi-agent network simulation model that uses organizational, social, political and economic dynamics to generate predictions of the likely actions and...
[January 20, 2005, 23:00]
Security And Trust In Mobile Interactions: A Study Of Users Perceptions And Reasoning
White Papers The paper provides a detailed analysis of the users reasoning about trust-related issues, and draws conclusions about the design of secure interaction technologies for ubiquitous computing. This paper describes an investigation into the trust and...
[January 6, 2007, 23:00]
Reasoning About Uncertainty In Location Identification With RFID
White Papers Radio Frequency Identification (RFID) is set to revolutionise industrial control as it holds the potential to simplify and make more robust the tracking of parts or part carriers through manufacture, storage, distribution and ultimately the supply...
[July 1, 2004, 0:00]
A Fuzzy Model For Reasoning About Reputation In Web Services
White Papers Reputation systems are typically based on ratings given by the users. When there are no mechanisms in place to detect collusion and deception, combining user testimonies as such to form a provider's reputation may not give an accurate assessment...
[August 23, 2006, 0:00]
A Bayesian Framework For Robust Reasoning From Sensor Networks
White Papers The work described in this paper defines a Bayesian framework to use noisy, but redundant data from multiple sensor streams and incorporate it with the contextual and domain knowledge that is provided by both the physical constraints imposed by...
[May 10, 2005, 0:00]
A Revised Architecture For Semantic Web Reasoning
White Papers The current architecture for the Semantic Web, with its emphasis on RDF syntactic and semantic compatibility, has severe problems when expressive Semantic Web languages are incorporated. An architecture less tied to RDF is proposed in this paper.
[August 7, 2007, 0:00]
Poor Reasoning
Talkback I could rewrite this whole article in one line and not loose any content: Choose Vista Ultimate because it's top of the line. Yeah that sounds like a multi-faceted, well-informed, and balanced decision-making process.
[December 13, 2006, 17:56]
Towards Practical Reasoning Agents For The Semantic Web
White Papers This paper describes Nuin: a flexible agent architecture designed for practical development of agents in Semantic Web applications, based around Belief-Desire-Intention (BDI) principles. The paper outlines the central design features of the...
[April 26, 2006, 0:00]
Arithmetic Reasoning For Static Analysis Of Software
White Papers Software and hardware verification has shown the ability to prove the correctness of many sophisticated algorithms and to discover many subtle errors. But the verification tools are not in every-day use by non-specialists.
[April 11, 2005, 0:00]
Using OIL For Intelligent Information Integration
White Papers The build-in reasoning support that relies on the close relationship between OIL and description logics was claimed to be advantageous in many application areas and should be considered one of the main advantages over existing languages.
[February 7, 2004, 23:00]
Rationale
Downloads Use Rationale to create "argument maps", diagrams of reasoning and argument. Rationale will help students learn the fundamentals of good reasoning, critical thinking, and argumentative essay writing.Version 1.5.4 may include unspecified updates...
[April 10, 2008, 14:16]
A Reachability Predicate For Analyzing Low-Level Software
White Papers Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in type-safe languages where memory is manipulated by dereferencing...
[May 23, 2007, 0:00]
Artificial Intelligence: Working Backwards From HAL
Talkback Reasoning Systems In my opinion, the future of AI is dependent on the extension of the programming paradigm from today’s Boolean logic to incorporate “reasoning models”. The other mindset assumes that there must be another way to create “reasoning...
[April 3, 2006, 16:54]
From Databases To Information Systems - Information Quality Makes The Difference
White Papers Simultaneously, it is a well acknowledged fact that consideration of information quality - IQ-reasoning is an important issue for large-scale integrated information systems. The paper shows that IQ-reasoning can be the driving force of the current...
[February 1, 2007, 23:00]
Study Lauds Open-source Code Quality
News Reasoning, which sells automated software inspection services, examined part of the code of the Linux and five operating systems, comparing the number and rate of programming defects. Specifically, Reasoning examined the implementation of TCP/IP, a...
[February 20, 2003, 7:42]
How To Talk To Microsoft About Linux
Talkback what kind of reasoning is that? sure if you are talking about script kids trying to break into as many computers in a day as they can, that makes sense.but, on the other hand, if you are talking about people really getting in and FINDING exploits...
[May 25, 2006, 18:44]
Open-source Code Contains 'as Many Flaws' As Proprietary
News The review compared version 2.1 of the Reasoning, a company whose business is analyzing code quality, compared the recently released version to competitors in a similar stage of development. The comparable defect rate indicates that open-source...
[July 1, 2003, 11:12]
Linux Servers 'attacked More Often'
Talkback Now that Linux has claimed its way to the marketplace and laughed at others, often attacking teh person instead of the reasoning, welcome. Dont run away, and you are welcome to attck me instead of the reasoning and you are welcome to pull out your...
[February 23, 2004, 5:35]
Government To Force Handover Of Encryption Keys
Talkback This kind of "blind reasoning" or "panic reasoning" is hurtful to the local economy and over time, erodes faith in the governing body's ability to think rationally and plan for the country's safety. Hmm.and what, exactly, does this "order to seize...
[May 19, 2006, 22:33]
Free Speech Victory For DVD Crackers
News Under that legal reasoning, programmers could still be prosecuted for posting illegal software but could not be prevented from doing so in the first place. A federal judge has agreed with much of that reasoning.
[November 2, 2001, 10:12]
