2513 search results - page 473 / 503 » Improving Generalization by Data Categorization |
135
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
140
click to vote
CLEF
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes our first participation in the Indian language sub-task of the main Adhoc monolingual and bilingual track in CLEF1 competition. In this track, the task is to...
135
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
The run-time performance of VLIW (very long instruction word) microprocessors depends heavily on the effectiveness of its associated optimizing compiler. Typical VLIW compiler pha...
138
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
This paper summarizes the results of the X-SOM tool in the OAEI 2007 campaign. X-SOM is an extensible ontology mapper that combines various matching algorithms by means of a feed-f...
150
Voted
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract—We consider the distributed estimation of an unknown vector signal in a resource constrained sensor network with a fusion center. Due to power and bandwidth limitations,...