5232 search results - page 633 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
186
click to vote
MHCI
2005
Springer
16 years 10 days ago
2005
Springer
The growth of mobile technology has made recording of user’s location possible. The systems that intent to use location in order to register user’s movement and to use the gen...
168
click to vote
ECAL
2003
Springer
16 years 2 days ago
2003
Springer
This paper describes an investigation of two computer models of how vowel systems can be transferred from one generation to the next. Humans tend to reduce the articulation of the ...
184
click to vote
ICECCS
2008
IEEE
16 years 1 months ago
2008
IEEE
Traditionally shared data areas have been used to efficiently communicate between embedded system tasks, such as periodically executing control system tasks. Such implementations ...
174
Voted
SEE
1997
Springer
15 years 11 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
198
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...