Sciweavers

3373 search results - page 516 / 675
» Naturalistic Decision Making
Sort
View
166
Voted
DEXAW
2005
IEEE
133views Database» more  DEXAW 2005»
15 years 6 months ago
Inductive Databases: Towards a New Generation of Databases for Knowledge Discovery
Data mining applications are typically used in the decision making process. The Knowledge Discovery Process (KDD process for short) is a typical iterative process, in which not on...
Rosa Meo
137
Voted
ACAL
2007
Springer
15 years 6 months ago
Modelling Architectural Visual Experience Using Non-linear Dimensionality Reduction
This paper addresses the topic of how architectural visual experience can be represented and utilised by a software system. The long-term aim is to equip an artificial agent with ...
Stephan K. Chalup, Riley Clement, Chris Tucker, Mi...
150
Voted
ACSD
2007
IEEE
93views Hardware» more  ACSD 2007»
15 years 6 months ago
SAT-based Unbounded Model Checking of Timed Automata
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
Wojciech Penczek, Maciej Szreter
DIAGRAMS
2010
Springer
15 years 6 months ago
Diagram Editing on Interactive Displays Using Multi-touch and Pen Gestures
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
Mathias Frisch, Jens Heydekorn, Raimund Dachselt
CONEXT
2008
ACM
15 years 6 months ago
Towards a new generation of information-oriented internetworking architectures
In response to the limitations of the Internet architecture when used for applications for which it was not originally designed, a series of clean slate efforts have emerged to sh...
Christian Esteve, Fábio Luciano Verdi, Maur...