2766 search results - page 168 / 554 » Hybridizing a Logical Framework |
123
click to vote
HYBRID
1997
Springer
15 years 8 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
152
click to vote
MJ
2006
15 years 4 months ago
2006
This paper proposes a SPICE model development methodology for quantum-dot cellular automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simulat...
147
click to vote
RECSYS
2009
ACM
15 years 9 months ago
2009
ACM
In this paper we present a hybrid recommendation system that combines ontological knowledge with content-extracted linguistic information, derived from pre-trained lexical graphs,...
141
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
In dangerous and uncertain environments initial plans must be revised. Communication failures hamper this replanning. We introduce fractured subteams as a novel formalism for mode...
167
click to vote
ICWE
2010
Springer
15 years 3 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...