Sciweavers

2741 search results - page 68 / 549
» Engineering Mathematical Knowledge
Sort
View
ITS
2000
Springer
137views Multimedia» more  ITS 2000»
14 years 9 days ago
Design Principles for a System to Teach Problem Solving by Modelling
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
Gérard Tisseau, Hélène Giroir...
ICSE
2003
IEEE-ACM
14 years 8 months ago
From HCI to Software Engineering and Back
Methods to assess and ensure system usability are becoming increasingly important as market edge becomes less dependent on function and more dependent on ease of use, and as recog...
José Creissac Campos, Michael D. Harrison
ACMICEC
2007
ACM
245views ECommerce» more  ACMICEC 2007»
14 years 23 days ago
Keyword generation for search engine advertising using semantic similarity between terms
An important problem in search engine advertising is keyword1 generation. In the past, advertisers have preferred to bid for keywords that tend to have high search volumes and hen...
Vibhanshu Abhishek, Kartik Hosanagar
RE
1997
Springer
14 years 26 days ago
SOFL: A Formal Engineering Methodology for Industrial Applications
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu
HICSS
2009
IEEE
74views Biometrics» more  HICSS 2009»
14 years 3 months ago
SAVVY: A Semantic Associative Browsing System for Heterogeneous Knowledge Resources
This paper presents a semantic associative browsing system called Semantic Association Various Viewpoint sYstem (SAVVY). Recently, the number of users who employ search engines fo...
Takafumi Nakanishi, Koji Zettsu, Yutaka Kidawara, ...