4098 search results - page 205 / 820 » Sound mobility models |
125
Voted
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
Development of sound approaches and software tools for specification, assembly, and deployment of composite Web services from independently developed components promises to enhan...
114
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
— The dorsal nucleus of the lateral lemniscus (DNLL) is a distinct group of auditory cells that play a strategic role in azimuthal echolocation in the bat. Dominated by EI-type c...
129
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
A great deal of work on software maintenance focuses on source code analysis and manipulation. Code is viewed as a static entity that is – more or less – separated from the sy...
147
Voted
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
126
click to vote
KR
1994
Springer
15 years 8 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...