Sciweavers

8695 search results - page 379 / 1739
» Making the Complex Simple
Sort
View
172
Voted
CSREAESA
2004
15 years 8 months ago
Intelligent Resource Agents for Embedded Systems
This paper presents a reconfigurable resource support mechanism to address scheduling issues in distributed embedded environment. A configurable object architecture is employed to...
En-Hsin Huang, Tzilla Elrad
ACSW
2003
15 years 8 months ago
Security in Mobile Communications: Challenges and Opportunities
The nature of mobile communication, characterised for example by terminals having poor user interface and limited processing capacity, as well as complex combination of network pr...
Audun Jøsang, Gunnar Sanderud
159
Voted
ACL
1997
15 years 8 months ago
Applying Explanation-based Learning to Control and Speeding-up Natural Language Generation
This paper presents a method for the automatic extraction of subgrammars to control and speeding-up natural language generation NLG. The method is based on explanation-based learn...
Günter Neumann
PPSC
1997
15 years 8 months ago
A Parallel Algorithm for Interval Polynomial Interpolation
By taking data measurement errors into considerations, numerical results obtained by interval polynomial interpolation [5] are highly reliable. To reduce overestimation, combinati...
Chenyi Hu
179
Voted
SLOGICA
2008
99views more  SLOGICA 2008»
15 years 5 months ago
Decidable Cases of First-order Temporal Logic with Functions
We consider the decision problem for cases of first-order temporal logic with function symbols and without equality. The monadic monodic fragment with flexible functions can be dec...
Walter Hussak