Sciweavers

5856 search results - page 1001 / 1172
» Developing Query Patterns
Sort
View
WSC
2008
15 years 13 days ago
Using situational simulations to collect and analyze dynamic construction management decision-making data
In this paper we lay the foundations for studying decisionmaking in complex dynamic construction management scenarios using situational simulations as experimental testbeds. We dr...
Matt Watkins, Amlan Mukherjee, Nilufer Onder
ASSETS
2008
ACM
15 years 3 days ago
Computer vision-based clear path guidance for blind wheelchair users
We describe a system for guiding blind and visually impaired wheelchair users along a clear path that uses computer vision to sense the presence of obstacles or other terrain feat...
Volodymyr Ivanchenko, James Coughlan, William Gerr...
ATAL
2008
Springer
15 years 3 days ago
Extending agent languages for autonomy
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
Felipe Rech Meneguzzi
ITP
2010
109views Mathematics» more  ITP 2010»
15 years 3 days ago
A Tactic Language for Declarative Proofs
Influenced by the success of the MIZAR system many declarative proof languages have been developed in the theorem prover community, as declarative proofs are more readable, easier...
Serge Autexier, Dominik Dietrich
CIKM
2008
Springer
15 years 3 days ago
Characterizing and predicting community members from evolutionary and heterogeneous networks
Mining different types of communities from web data have attracted a lot of research efforts in recent years. However, none of the existing community mining techniques has taken i...
Qiankun Zhao, Sourav S. Bhowmick, Xin Zheng, Kai Y...
« Prev « First page 1001 / 1172 Last » Next »