42738 search results - page 294 / 8548 » Search Computing Systems |
135
click to vote
ERCIMDL
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. An expert system Web interface to online catalogs called EReferencer is being developed. An initial prototype has been implemented. The interface has a repertoire of init...
141
click to vote
CODES
2006
IEEE
15 years 10 months ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...
146
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
149
click to vote
ICWN
2008
15 years 5 months ago
2008
: Problem statement: For a sensor network comprising autonomous and self-organizing data sources, efficient similarity-based search for semantic-rich resources (such as video data)...
109
click to vote
ECIR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We propose in this paper to use NLP approaches to validate induced syntactic relations. We focus on a Web Validation system, a Semantic Vector-based approach, and finally...