4460 search results - page 495 / 892 » Formal methods for interactive systems |
275
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
In order to provide context?aware Location?Based Services, real location data of mobile users must be collected and analyzed by spatio?temporal data mining methods. However, the d...
182
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
With the availability of pen-enabled digital hardware, sketch-based 3D modeling is becoming an increasingly attractive alternative to traditional methods in many design environmen...
198
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper argues that the agent-based simulation approach is just the one appropriate to the social sciences (including economics). Although there were many predecessor approache...
224
click to vote
SIGMOD
1998
ACM
15 years 6 months ago
1998
ACM
Great e orts have been paid in the Intelligent Database Systems Research Lab for the research and development of e cient data mining methods and construction of on-line analytical...
158
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Growth in the complexity of computing systems, in the dynamism of the environments they operate in, and the need for timely adaptations as conditions change, now pose significant...