Sciweavers

452 search results - page 64 / 91
» An Active Approach to Automatic Case Generation
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
14 years 1 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
EWCBR
2004
Springer
14 years 24 days ago
Dynamic Critiquing
Abstract. Critiquing is a powerful style of feedback for case-based recommender systems. Instead of providing detailed feature values, users indicate a directional preference for a...
James Reilly, Kevin McCarthy, Lorraine McGinty, Ba...
WEBDB
1999
Springer
105views Database» more  WEBDB 1999»
13 years 11 months ago
On the Materialization of WebViews
ABSTRACT A WebView is a web page that is automatically created from base data, which are usually drawn from a DBMS. A WebView can be either materialized as an html page at the web...
Alexandros Labrinidis, Nick Roussopoulos
ESWA
2006
243views more  ESWA 2006»
13 years 7 months ago
Knowledge based crime scenario modelling
A crucial concern in the evaluation of evidence related to a major crime is the formulation of sufficient alternative plausible scenarios that can explain the available evidence. ...
Jeroen Keppens, Burkhard Schafer
ICRA
1999
IEEE
117views Robotics» more  ICRA 1999»
13 years 11 months ago
Collision Control in Teleoperation by Virtual Force Reflection: An Application to the ROBTET System
: Well known collision avoiding approaches used in automatic robot path planning are also applied in teleoperation systems when moving in hazardous environments. In such cases, it ...
Miguel Hernando, Ernesto Gambao, E. Pinto, Antonio...