2658 search results - page 114 / 532 » Micro-communication Element System |
135
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
124
click to vote
IFIP
1994
Springer
15 years 8 months ago
1994
Springer
Business rules are an important element of information systems. The notion business rule encompasses different phenomena; therefore, some classification criteria are presented and...
151
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
The software product family paradigm is becoming increasingly relevant in embedded system development. Embedded system development with a software-intensive character is typically...
138
click to vote
ACISICIS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...
119
click to vote
FLAIRS
2004
15 years 5 months ago
2004
Initial successes in the area of recommender systems have led to considerable early optimism. However as a research community, we are still in the early days of our understanding ...