2364 search results - page 36 / 473 » An Engine for Computing Well-Founded Models |
PERVASIVE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we present Microsearch, a search system suitable for small devices used in ubiquitous computing environments. Akin to a desktop search engine, Microsearch ...
105
click to vote
CAD
2007
Springer
14 years 11 months ago
2007
Springer
Defeaturing is a popular CAD/ CAE simplification technique where ‘small or irrelevant features’ are suppressed within a CAD model for speeding-up downstream processes, especia...
ICSM
2000
IEEE
15 years 4 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
VAMOS
2007
Springer
15 years 5 months ago
2007
Springer
Goal models have been found to be effective for representing and analyzing variability at the early requirements level, by comprehensibly representing all alternative ways by whic...
COLING
2000
2000
Jurilinguistic Engineering in Cantonese Chinese: An N-gram-based Speech to Text Transcription System
15 years 1 months ago
A Cantonese Chinese transcription system to automatically convert stenograph code to Chinese characters ix reported. The major challenge in developing such a system is the critica...