816 search results - page 159 / 164 » Automating Verification by Functional Abstraction at the Sys... |
AIED
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes an approach for analysis of computer-supported learning processes utilizing logfiles of learners’ actions. We provide help to researchers and teachers in ...
93
Voted
WSC
2000
15 years 1 months ago
2000
Recent breakthroughs in communication and software engineering has resulted in significant growth of web-based computing. Web-based techniques have been employed for modeling, sim...
127
click to vote
TIP
2010
14 years 6 months ago
2010
Abstract-- Due to the novel fluid optics, unique image processing challenges are presented by the fluidic lens camera system. Developed for surgical applications, unique properties...
124
click to vote
MINENET
2006
ACM
15 years 5 months ago
2006
ACM
Progress in networking research depends crucially on applying novel analysis tools to real-world traces of network activity. This often conflicts with privacy and security requir...
137
click to vote
DILS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Data integration plays a major role in modern Life Sciences research primarily because required resources are geographically distributed across continents and experts dep...