4306 search results - page 452 / 862 » Timed Testing with TorX |
LREC
2010
15 years 5 months ago
2010
The meanings of words are not fixed but in fact undergo change, with new word senses arising and established senses taking on new aspects of meaning or falling out of usage. Two t...
177
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 5 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
GRAPHICSINTERFACE
2008
15 years 5 months ago
2008
Researchers have suggested that dynamically increasing controlto-display (CD) gain can assist in targeting, by increasing the effective width of targets in motor space, which make...
109
click to vote
HCI
2007
15 years 5 months ago
2007
In recent years, we have developed an icon-based communication interface to represent concepts and ideas. Users can create messages to communicate with others using a spatial arran...
123
click to vote
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we have studied a common Web service composition problem, the syntactic matching problem, where the output parameters of a Web service can be used as the input para...