5227 search results - page 201 / 1046 » Enterprise modeling using class and instance models |
150
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
3D city modeling using computer vision is very challenging. A typical city contains objects which are a nightmare for some vision algorithms, while other algorithms have been desi...
159
click to vote
EUROSSC
2006
Springer
15 years 8 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
121
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— As part of a program to find methods of reducing spatial interference in multi-robot systems, we propose the Interaction Grid (IG), a generalization of the Occupancy Grid that...
153
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
111
click to vote
ENTCS
2006
15 years 4 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...