4693 search results - page 555 / 939 » Verifying Hybrid Systems |
178
click to vote
IJHR
2008
15 years 7 months ago
2008
Engineers have long used control systems utilizing models and feedback loops to control realworld systems. Limitations of model-based control led to a generation of intelligent co...
182
click to vote
IJSN
2006
15 years 7 months ago
2006
: The pervasive availability and wide usage of wireless networks with different kinds of topologies, techniques and protocol suites have brought with them a need to improve securit...
182
click to vote
JSS
2007
15 years 6 months ago
2007
To efficiently make use of information and services available in ubiquitous environments, mobile users need novel means for locating relevant content, where relevance has a user-s...
169
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Inspired by the Google Wonder Wheel1 , in this paper we present Semantic Wonder Cloud (SWOC): a tool that helps users in knowledge exploration within the DBpedia dataset by adoptin...
300
Voted
SNPD
2010
15 years 5 months ago
2010
In this paper we propose an hybrid system of Arabic words disambiguation. To achieve this goal we use the methods employed in the domain of information retrieval: Latent semantic ...