1541 search results - page 64 / 309 » Interaction Analysis in Aspect-Oriented Models |
151
Voted
EICS
2009
ACM
15 years 12 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
182
Voted
BIBM
2007
IEEE
15 years 11 months ago
2007
IEEE
With the wide application of green fluorescent protein (GFP) in the study of live cells, there is a surging need for the computer-aided analysis on the huge amount of image seque...
168
click to vote
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
170
Voted
CADE
1990
Springer
15 years 9 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
142
click to vote
DOCENG
2008
ACM
15 years 7 months ago
2008
ACM
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...