2364 search results - page 295 / 473 » On O-Minimal Hybrid Systems |
191
click to vote
PRL
2007
15 years 6 months ago
2007
Securing biometrics databases from being compromised is one of the most important challenges that must be overcome in order to demonstrate the viability of biometrics based authen...
205
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
: The growing sophistication of user requirements in tourism due to the advent of new technologies such as the Semantic Web and mobile computing has imposed new possibilities for i...
159
click to vote
COLING
2010
15 years 1 months ago
2010
Online learning calls for instant assessment and feedback. YanFa is a system developed to score online EnglishChinese translation exercises with intelligent feedback for Chinese n...
282
click to vote
ICDE
2001
IEEE
16 years 8 months ago
2001
IEEE
LeSelect is a mediator system which allows scientists to publish their resources (data and programs) so they can be transparently accessed. The scientists can typically issue quer...
175
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...