5525 search results - page 559 / 1105 » Verification of Model Transformations |
202
click to vote
HCI
2007
15 years 8 months ago
2007
The paper discusses the relation between accessibility and multimodality of learning objects. I present a framework, rooted in linguistics, that supports a clear distinction betwee...
179
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
240
click to vote
BCEC
1997
15 years 8 months ago
1997
Social insects provide us with a powerful metaphor to create decentralized systems of simple interacting, and often mobile, agents. The emergent collective intelligence of social i...
183
click to vote
NIPS
2000
15 years 8 months ago
2000
This paper presents a unified probabilistic framework for denoising and dereverberation of speech signals. The framework transforms the denoising and dereverberation problems into...
162
click to vote
EOR
2007
15 years 7 months ago
2007
Capacity effects are investigated, particularly as regards congestion of facilities with immobile (or fixed) servers. A review is given of research to date in this area, togethe...