1894 search results - page 343 / 379 » A TLA Proof System |
108
click to vote
IEEECIT
2010
IEEE
14 years 7 months ago
2010
IEEE
Mobile ad-hoc Grid is one of the modern distributed systems that have been introduced until now. It combines traditional grid capabilities with ad-hoc network flexibilities. Servic...
WEBI
2010
Springer
14 years 7 months ago
2010
Springer
A biologically inspired cognitive model is presented for human decision making and applied to the simulation of the web user. The model is based on the Neurophysiology description ...
AND
2009
14 years 7 months ago
2009
In a specific process of business intelligence, i.e. investigation on organized crime, empirical language processing technologies can play a crucial role. In the data used on inve...
HCI
2009
14 years 7 months ago
2009
Abstract. The archetype of many novel research activities is called cognition. Although separate definitions exist to define a technical cognitive system, it is typically character...
101
click to vote
I3E
2009
14 years 7 months ago
2009
Use of web services also on mobile devices becomes increasingly relevant. However, realizing such mobile web services based on the standard protocol stack is often inappropriate f...